Type Definition typenum::P700

type P700 = PInt<U700>;