Type Definition typenum::N700

type N700 = NInt<U700>;