Changes behaviour of round to use default rounding mode

This makes the changes discussed in  #8750.