Type Definition typenum::P748

type P748 = PInt<U748>;