Changes behaviour of round to use default rounding mode

This makes the changes discussed in  #8750.
No, I don't think anyone uses the IEEE names. Having thought about it more, I agree that the simpler names are better.