Message246264
Mark, note that the sequence in the OP's original report only contains 35 elements. That, alas, makes "double rounding" irrelevant to this bug report. That is, while random.choice() can suffer double-rounding surprises in _some_ cases, it cannot in the case actually reported here: in the 64-bit extended-precision format, there are at least
64 - (53 + (35).bit_length()) = 5
trailing zeroes in any possible
random.random() * 35
result. IOW, all such results are exact in 64-bit arithmetic, so the first "cut back to 64 bits" rounding is a no-op. |
|
Date |
User |
Action |
Args |
2015-07-04 15:58:35 | tim.peters | set | recipients:
+ tim.peters, rhettinger, mark.dickinson, vstinner, steven.daprano, r.david.murray, skrah, serhiy.storchaka, Serge Anuchin |
2015-07-04 15:58:35 | tim.peters | set | messageid: <1436025515.94.0.490393038746.issue24546@psf.upfronthosting.co.za> |
2015-07-04 15:58:35 | tim.peters | link | issue24546 messages |
2015-07-04 15:58:35 | tim.peters | create | |
|