Re: Bit-twiddling to make random real numbers Lucier, Bradley J 05 May 2020 03:37 UTC