pub type P144115188075855872 = PInt<U144115188075855872>;
pub struct P144115188075855872 { /* private fields */ }