All existing uses of division were already using a float for at least one operand (except the tests that just do 1/0 as a quick way to throw an exception). We have now turned on all the __future__ options available in python2.5.