Footnote
It would not be sensible to allow the
randomNumber
primitive to backtrack to try different random numbers, because there are (theoretically) infinity numbers between zero and one.