There are a couple bug reports here that have been open for years, and it's about time we closed them.

My stance:  if any platform still exists on which "double rounding" is still a potential problem, Python _configuration_ should be changed to disable double rounding on such platforms (there's usually a C compiler flag that can make this happen, but even if there isn't a couple lines of inline assembler could be added at Python startup to set the Pentium's FPU "precision control" bits to "round to 53 bits" mode).

`random` is a red herring here!  We don't want gratuitously different results across 754 boxes in any operations.