[][src]Type Definition typenum::N709

type N709 = NInt<U709>;