Type Definition typenum::consts::N718

type N718 = NInt<U718>;