Interval arithmetics working, but there is rounding problem