pub type P2251799813685247 = PInt<U2251799813685247>;
pub struct P2251799813685247 { /* private fields */ }