Future division patch available (PEP 238)

[Robin Becker]

In article <mailman.995776716.24336.python-list at python.org>, Guido van
Rossum <guido at digicool.com> writes
...
>
>I thought again about the merits of the '//' operator vs. 'div'
>(either as a function or as a keyword binary operator), and figured
>that '//' is the best choice: it doesn't introduce a new keyword
>(which would cause more pain), and it works as an augmented assignment
>(//=) as well.
...
it just looks awful as well as annoying those who don't want this
change.
-- 
Robin Becker