[Python-Dev] Rounding float to int directly ...

[Greg Ewing]

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