Type Definition typenum::consts::N708

type N708 = NInt<U708>;