@steve Round-to-nearest is the interesting case. The other rounding modes make double rounding idempotent.