Type Definition typenum::N716

type N716 = NInt<U716>;