`Random.rand` with a dummy `Random.srand` passes all specs. A working version of `Random.srand` is waiting in another PR. If you'd prefer to have both of those methods in a single PR I can add those commits here, but as I wrote, `Random.rand` doesn't need a working `Random.srand` to generate deterministic random numbers.