Type Definition typenum::P262144

type P262144 = PInt<U262144>;