pub type P9007199254740992 = PInt<U9007199254740992>;
struct P9007199254740992 { /* private fields */ }