pub type P4611686018427387904 = PInt<U4611686018427387904>;