Changes behaviour of round to use default rounding mode

This makes the changes discussed in  #8750.
Which do we want to change? The symbols match the terms used in the ieee standard. The names are probably simpler.