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 <rep...@bugs.python.org> <http://bugs.python.org/issue25129> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
