Seperated the IntegerIntervals from the Integers library.