Method randomFloat

web/src/support.ts:141–143

* Generates random float between (0, 1) non-inclusive, updating `rand_state`. * * Postcondition: pass `checkRandState()`, i.e. rand_state > 0 and is an integer.

()

   * Postcondition: pass `checkRandState()`, i.e. rand_state > 0 and is an integer.
   */
  randomFloat(): number {
    return this.nextInt() / this.modulus;
  }

  private checkRandState(): void {
    if (this.rand_state <= 0) {