On Thu, Sep 18, 2014 at 3:35 PM, Guido van Rossum <guido@python.org> wrote:

> In light of PEP 3141, if anything should be done about float // float it would be to make it return an int and as a consequence inf // 1 should raise an OverflowError.  

+1