Thanks for your comments. From a technical/numerical point of view I agree with you that the computed result is correct given the floating-point limitations.

From a user's point of view (and the documentation seems to agree with me) the result is wrong. The documentation (see link in first post) says: [...] the result is that of mathematical division with the ‘floor’ function applied to the result.

math.floor(1/0.1) returns the expected 10.0 and the doc says that the floor division should behave the same.

If 9.0 for 1//0.1 is the correct result according to your definition of the floor division then I cannot think of a reasonable use case for the floor division.