Faster random_mod (#703) #1927

Job	Run time
minimal-versions	22s
cross (aarch64-unknown-linux-gnu, stable)	3m 30s
build (1.83.0, thumbv7em-none-eabi)	43s
cross (powerpc-unknown-linux-gnu, stable)	5m 16s
build (1.83.0, wasm32-unknown-unknown)	42s
miri (x86_64-unknown-linux-gnu)	3m 54s
build (stable, thumbv7em-none-eabi)	37s
miri (s390x-unknown-linux-gnu)	4m 13s
build (stable, wasm32-unknown-unknown)	34s
test (i686-unknown-linux-gnu, 1.83.0, sudo apt update && sudo apt install gcc-multilib)	2m 19s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	2m 16s
build-benchmarks	36s
test (x86_64-unknown-linux-gnu, 1.83.0)	1m 43s
test (x86_64-unknown-linux-gnu, stable)	1m 52s
careful	1m 38s
clippy	12s
doc	27s
rustfmt	12s
	31m 6s

Provide feedback