Type Definition typenum::P274877906944

type P274877906944 = PInt<U274877906944>;