[issue4707] round(25, 1) should return an integer, not a float

[STINNER Victor]

Changes by STINNER Victor <victor.stinner at haypocalc.com>:


Removed file: http://bugs.python.org/file12407/round_int_int.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue4707>
_______________________________________