pub type P281474976710656 = PInt<U281474976710656>;