`Int` - clean up #1942

Job	Run time
cross (aarch64-unknown-linux-gnu, stable)	2m 52s
cross (powerpc-unknown-linux-gnu, stable)	3m 4s
build-benchmarks	48s
build (1.81.0, thumbv7em-none-eabi)	44s
careful	1m 21s
build (1.81.0, wasm32-unknown-unknown)	45s
clippy	21s
build (stable, thumbv7em-none-eabi)	38s
minimal-versions	21s
build (stable, wasm32-unknown-unknown)	43s
miri (x86_64-unknown-linux-gnu)	4m 14s
rustfmt	9s
miri (s390x-unknown-linux-gnu)	4m 48s
test (i686-unknown-linux-gnu, 1.81.0, sudo apt update && sudo apt install gcc-multilib)	1m 57s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	1m 56s
doc	24s
test (x86_64-unknown-linux-gnu, 1.81.0)	1m 36s
test (x86_64-unknown-linux-gnu, stable)	1m 34s
	28m 15s

Provide feedback