Type Definition typenum::P68719476736

type P68719476736 = PInt<U68719476736>;