Type Definition typenum::P713

type P713 = PInt<U713>;