pub type P2305843009213693952 = PInt<U2305843009213693952>;