Add diagnostic for integer division by zero #33520

Job	Run time
Determine changes	7s
mkdocs	2m 44s
pre-commit	34s
cargo fmt	17s
python package	1m 14s
cargo build (msrv)	3m 17s
cargo clippy	1m 50s
cargo build (release)	5m 19s
benchmarks	5m 5s
cargo fuzz	4m 23s
cargo shear	29s
cargo test (wasm)	1m 32s
cargo test (linux)	3m 48s
cargo test (windows)	8m 15s
formatter instabilities and black similarity	0s
test scripts	57s
test ruff-lsp	20s
ecosystem	8m 54s
Fuzz the parser	0s
	49m 5s

Provide feedback