Created the ConcreteFloatIntervals library.