Interval arithmetics working, but there is rounding problem, commit fix