Type Definition typenum::N288230376151711744

type N288230376151711744 = NInt<U288230376151711744>;