pub type P1125899906842624 = PInt<U1125899906842624>;