Interval approximation, floating point arithmetic