Created the IntegerIntervals library.