Created the ConcreteIntegerIntervals library.