correct round errors in doctests