Type Definition typenum::P888

type P888 = PInt<U888>;