Leverage `div_ceil` (#688) #1817

Job	Run time
build (1.81.0, thumbv7em-none-eabi)	45s
build-benchmarks	46s
careful	1m 19s
build (1.81.0, wasm32-unknown-unknown)	45s
build (stable, thumbv7em-none-eabi)	38s
cross (aarch64-unknown-linux-gnu, stable)	2m 42s
clippy	19s
build (stable, wasm32-unknown-unknown)	37s
cross (powerpc-unknown-linux-gnu, stable)	2m 54s
doc	24s
minimal-versions	24s
miri (x86_64-unknown-linux-gnu)	3m 59s
rustfmt	4s
test (i686-unknown-linux-gnu, 1.81.0, sudo apt update && sudo apt install gcc-multilib)	2m 3s
miri (s390x-unknown-linux-gnu)	4m 19s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	2m 1s
test (x86_64-unknown-linux-gnu, 1.81.0)	1m 36s
test (x86_64-unknown-linux-gnu, stable)	1m 27s
	27m 2s

Provide feedback