pub type P576460752303423487 = PInt<U576460752303423487>;
pub struct P576460752303423487 { /* private fields */ }