Type Definition typenum::P2199023255552

type P2199023255552 = PInt<U2199023255552>;