Re: Interval arithmetic