Type Definition typenum::P710

type P710 = PInt<U710>;