[issue24567] random.choice IndexError due to double-rounding

[Mark Dickinson]

Mark Dickinson <dickinsm at gmail.com> added the comment:

Some relevant notes from Vincent Lefèvre here: http://www.vinc17.net/research/extended.en.html

----------

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue24567>
_______________________________________