FloatIntervals Interfaces