Type Definition typenum::P589

type P589 = PInt<U589>;