Bit-twiddling to make random real numbers John Cowan 05 May 2020 03:18 UTC