finally finished interval arithmetic