pub type P140737488355328 = PInt<U140737488355328>;