pub type P288230376151711744 = PInt<U288230376151711744>;