Interval mathematics