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