Let's say I want to generate a random real number.
I can take a fair 10-sided die and generate the (infinite number of) digits. I can toss a fair coin to decide whether the number should be positive or negative.
Question is: what method do I use to insert the decimal point?