Type Definition typenum::consts::P714

type P714 = PInt<U714>;