【计】 rounded interval arithmetic
【计】 half-adjust; round-off; rounding; rounding off
【计】 interval arithmetic