fixed bug in interval arithmetic