`Int` - gcd #1864

Job	Run time
build-benchmarks	50s
build (1.81.0, thumbv7em-none-eabi)	45s
careful	1m 24s
clippy	20s
build (1.81.0, wasm32-unknown-unknown)	43s
cross (aarch64-unknown-linux-gnu, stable)	2m 54s
build (stable, thumbv7em-none-eabi)	47s
doc	31s
cross (powerpc-unknown-linux-gnu, stable)	3m 10s
minimal-versions	39s
build (stable, wasm32-unknown-unknown)	42s
miri (x86_64-unknown-linux-gnu)	4m 47s
rustfmt	5s
test (i686-unknown-linux-gnu, 1.81.0, sudo apt update && sudo apt install gcc-multilib)	1m 59s
miri (s390x-unknown-linux-gnu)	5m 14s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	2m 15s
test (x86_64-unknown-linux-gnu, 1.81.0)	1m 37s
test (x86_64-unknown-linux-gnu, stable)	1m 28s
	30m 10s

Provide feedback