Type Definition typenum::P750

type P750 = PInt<U750>;