pub type P1099511627776 = PInt<U1099511627776>;