Type Definition typenum::N750

type N750 = NInt<U750>;