Type Definition typenum::N709[][src]

type N709 = NInt<U709>;