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

[Serhiy Storchaka]

Serhiy Storchaka added the comment:

See the attached timings for sample().  Patched sample2 is at worst 4% slower than original sample, and optimized sample3 is between sample and sample2. In any case the difference is pretty small, so I'm good with Raymond's variant if it looks better for him.

Please note that 3.x also needs the patch.

----------
versions: +Python 3.4, Python 3.5, Python 3.6
Added file: http://bugs.python.org/file39937/sample_timings.txt

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