interval arithmetic working