Type Definition typenum::N714

type N714 = NInt<U714>;