Type Definition typenum::P714

type P714 = PInt<U714>;