Interval arithmetic
