Jeffrey Yasskin added the comment: I've committed this as r59671, except that round() returns a float again to make sure we keep compatibility. Let me know if you find anything that needs fixing. __________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue1689> __________________________________