Changed the IntegerInterval path.