pub type P2251799813685248 = PInt<U2251799813685248>;