pub type P1152921504606846976 = PInt<U1152921504606846976>;