FloatRange: new type for accurate floating-point ranges [fix #2333]
flipsign implementation for Float32 and Float64.
FloatRange: even better float range lifting.