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

[Antoine Pitrou]

Antoine Pitrou added the comment:

> I propose to rewrite Random.randint() in random.py.

If that would give a different sequence of random numbers, I'm not sure that's acceptable in a bugfix release. Raymond can shed a light.

----------
stage:  -> needs patch
versions:  -Python 3.2, Python 3.3, Python 3.4, Python 3.5, Python 3.6

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