Type Definition typenum::N679

type N679 = NInt<U679>;