Techniques for converting streams of random bits into floating-point numbers distributed as a uniform real in the unit interval - View it on GitHub