Type Definition typenum::N262144

type N262144 = NInt<U262144>;