[][src]Type Definition typenum::N718

type N718 = NInt<U718>;