Guido van Rossum <gu...@python.org> added the comment: Well, that would leave a function whose return *type* depends on the *value* of one of the arguments, which I find very ugly.
I don't know why you think rounding an int to X (X>0) digits after the decimal point should return a float -- it's not like the int has any digits behind the point, so nothing is gained. Why would it be a lie? _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue4707> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
