Type Definition typenum::consts::P713

type P713 = PInt<U713>;