Zitat von Tom Pohl <report@bugs.python.org>:

> This is not: 1 // 0.1 = 9.0 because math.floor(1/0.1) is able to  
> come up with the result that is expected from an operator called  
> "floor division".

You apparently assume that it is possible to give a definition to FD
for floating point that is less confusing. I do not think that this
is possible; in particular, I believe that definining x//y as
math.floor(x/y) is also confusing, in other cases (without being able
to construct such cases right away).