Type Definition typenum::consts::N716

type N716 = NInt<U716>;