Type Definition typenum::P536870912

type P536870912 = PInt<U536870912>;