pub type P9007199254740991 = PInt<U9007199254740991>;
pub struct P9007199254740991 { /* private fields */ }