[Python-Dev] Rounding float to int directly ... (original) (raw)

Greg Ewing greg.ewing at canterbury.ac.nz
Thu Aug 3 04:03:19 CEST 2006


Nick Maclaren wrote:

I am unaware of any technical grounds to prefer one over the other (i.e. the reasons for wanting each are equally balanced).

If they're equally balanced in the sense of there being equal numbers of use cases for both, that would seem to be a reason to have both.

What's the feeling about this? If, e.g. int() were changed in Py3k to round instead of truncate, would it cause anyone substantial pain?

-- Greg



More information about the Python-Dev mailing list