Tasks that choose random numbers or list elements.

• [RandomElement list element]
  Sets element to a random element of list.  It is non-deterministic; it will try all elements, but it tries them in a random order, so it chooses a random successful branch of the choice tree.
• [RandomFloat min max random]
  Sets random to a random number¹ such that min \(<=\) random \(<=\) max.  It is deterministic: it will only try one random number; if it doesn't work, the call fails.
• [RandomIntegerExclusive min max random]
  Sets random to a random integer (whole number) such that min \(<=\) random \(<=\) max.  It is deterministic: it will only try one random number; if it doesn't work, the call fails.
• [RandomIntegerInclusive min max random]
  Sets random to a random integer such that min \(<=\) random \(<\) max.  It is deterministic: it will only try one random number; if it doesn't work, the call fails.

Notes