Type Definition typenum::N730

type N730 = NInt<U730>;