pub type P70368744177664 = PInt<U70368744177664>;