Type Definition typenum::consts::N700

type N700 = NInt<U700>;