On Sat, Oct 28, 2017 at 5:25 AM, Shiro Kawai <xxxxxx@gmail.com> wrote:
If you mean round-half-to-even, it is orthogonal to effective vs notational rounding.  1.15 in binary floating point number is not on a midpoint of 1.1 and 1.2, so no need of tie-breaking.
If you mean always round to even, the result would be consistent across implementations,  We could list that (though it's different behavior than Scheme's "round"; the difference is apparent when precision is 0).

Right, it's orthogonal.  For implementations using notational rounding,
it needs to be addressed though.  We should also say something about
how the exact number 115/100 is supposed to round.