FloatRange: new type for accurate floating-point ranges [fix #2333]