pub type P9223372036854775807 = PInt<U9223372036854775807>;
pub struct P9223372036854775807 { /* private fields */ }