More succinct random filter

`Math.random()` should never produce a floating point number with a high enough precision to cause rounding errors when multiplying by a normal JS integer, and it will never produce `1.0` as an output.

Not a big win, but a bit cleaner and less code.