Commented IntegerInterval.