Type Definition typenum::consts::P888

type P888 = PInt<U888>;