Fix rounding error problem. re #9910

tx owen for spotting this