pub type P274877906944 = PInt<U274877906944>;