Antoine Pitrou added the comment: Hum, I see. What is the rounding mode used by true division, by the way? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25129> _______________________________________