Change rounding mode, recommended by Alex Stangl
Clean up a bit.