Type Definition typenum::P72057594037927936

type P72057594037927936 = PInt<U72057594037927936>;