Type Definition typenum::consts::P707

type P707 = PInt<U707>;