Type Definition typenum::P1099511627776

type P1099511627776 = PInt<U1099511627776>;