FloatRange: new type for accurate floating-point ranges [fix #2333]
FloatRange: even better float range lifting.
Fix infinite loop when rationalizing small values.
simplified, more robust colon implementation for float ranges.