Type Definition typenum::P588

type P588 = PInt<U588>;