In terms of implementation, I'm not aware of an algorithm that can randomly pick a real number on an actual computer. Perhaps a mathematician could show how to pick one on some abstract machine with infinite resources, and not constrained by finite bit representations of numbers.