Type Definition typenum::consts::N709

type N709 = NInt<U709>;