Type Definition typenum::P558

type P558 = PInt<U558>;