pub type P4503599627370496 = PInt<U4503599627370496>;