Re: [Python-Dev] Future division patch available (PEP 238)