`Int` - vartime division operations (#735) #1991

Job	Run time
cross (aarch64-unknown-linux-gnu, stable)	3m 45s
test (i686-unknown-linux-gnu, 1.83.0, sudo apt update && sudo apt install gcc-multilib)	2m 27s
build (1.83.0, thumbv7em-none-eabi)	45s
cross (powerpc-unknown-linux-gnu, stable)	5m 25s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	2m 30s
build (1.83.0, wasm32-unknown-unknown)	40s
test (x86_64-unknown-linux-gnu, 1.83.0)	1m 50s
build (stable, thumbv7em-none-eabi)	48s
test (x86_64-unknown-linux-gnu, stable)	1m 53s
build (stable, wasm32-unknown-unknown)	44s
build-benchmarks	47s
careful	1m 36s
clippy	21s
doc	30s
minimal-versions	29s
miri (x86_64-unknown-linux-gnu)	6m 27s
rustfmt	11s
miri (s390x-unknown-linux-gnu)	6m 28s
	37m 36s

Provide feedback