Type Definition typenum::P88

type P88 = PInt<U88>;