pub type P4398046511104 = PInt<U4398046511104>;