Interval arithmetic and the IEEE