`Int` - merge `master` into `signed-int` #1953

Job	Run time
careful	1m 43s
build-benchmarks	45s
clippy	18s
build (1.83.0, thumbv7em-none-eabi)	44s
build (1.83.0, wasm32-unknown-unknown)	43s
build (stable, thumbv7em-none-eabi)	41s
cross (aarch64-unknown-linux-gnu, stable)	3m 45s
minimal-versions	26s
build (stable, wasm32-unknown-unknown)	37s
cross (powerpc-unknown-linux-gnu, stable)	5m 20s
doc	21s
miri (x86_64-unknown-linux-gnu)	4m 11s
rustfmt	13s
miri (s390x-unknown-linux-gnu)	4m 25s
test (i686-unknown-linux-gnu, 1.83.0, sudo apt update && sudo apt install gcc-multilib)	2m 29s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	2m 28s
test (x86_64-unknown-linux-gnu, 1.83.0)	1m 54s
test (x86_64-unknown-linux-gnu, stable)	1m 47s
	32m 50s

Provide feedback