Random#rand

This PR depends on #550. `Random#srand` is not implemented yet, because its correctness is not strictly necessary to pass specs of `Random#rand`. In practice though, it surely would be welcome in further patches.