Corrections to section on floating point rounding (changed in Python
2.7+).