generalized interval arithmetic