pub type P4503599627370496 = PInt<U4503599627370496>;
pub struct P4503599627370496 { /* private fields */ }