Random binary choice

Uses
- Pseudo-randomness
- Logical truth
- Rational numbers
- Tuples

A random boolean which is ⊤ for a specified fraction of draws is obtained as
 randomChoice(fraction:ℚ.nn, randomSeed) : (𝔹, randomSeed)

Random choices are computed in Pharo code:
 randomChoice(fraction:ℚ.nn, seed:ℕ.nz) ⇒ Pharo:"fraction ensureNumber. seed ensureNumber. (LzRandomTerms signature: signature) randomChoiceWithFraction: fraction seed: seed" | fraction ≤ 1

Examples

randomChoice(1/3, seed(1)) ⇒ (⊥, 42574215097704903886118270442276891296642809153879337352973093820589089894777)

randomChoice(1/3, seed(42)) ⇒ (⊤, 92788078061916767517743694391961310470645140213775786397268415382878579955589)