pub type P2199023255552 = PInt<U2199023255552>;