MeasurableInteger