Type Definition typenum::P281474976710656

type P281474976710656 = PInt<U281474976710656>;