Type Definition typenum::P707

type P707 = PInt<U707>;