[issue25129] suboptimal floating-point floor division

[Mark Dickinson]

Mark Dickinson added the comment:

> What is the rounding mode used by true division, by the way?

Probably not what you were asking, but with respect to true division of integers (int / int -> float), we always use round-half-to-even.  Any deviation from that (non-IEEE 754 platforms excepted) is a bug that should be reported.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue25129>
_______________________________________