IntegerInterval: accuracy fix float conversions