`Int` - `inv_mod` #1952

Job	Run time
clippy	20s
careful	1m 19s
build-benchmarks	47s
build (1.81.0, thumbv7em-none-eabi)	43s
build (1.81.0, wasm32-unknown-unknown)	42s
cross (aarch64-unknown-linux-gnu, stable)	3m 0s
doc	22s
build (stable, thumbv7em-none-eabi)	40s
minimal-versions	25s
cross (powerpc-unknown-linux-gnu, stable)	3m 3s
build (stable, wasm32-unknown-unknown)	43s
miri (x86_64-unknown-linux-gnu)	6m 46s
rustfmt	4s
miri (s390x-unknown-linux-gnu)	6m 16s
test (i686-unknown-linux-gnu, 1.81.0, sudo apt update && sudo apt install gcc-multilib)	1m 49s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	1m 49s
test (x86_64-unknown-linux-gnu, 1.81.0)	1m 41s
test (x86_64-unknown-linux-gnu, stable)	1m 27s
	31m 56s

Provide feedback