interval arithmetic