FloatIntervals

This type represents a set of intervals of floating-point numbers of any size (unbounded).