better const folding for int and bool #726

Job	Run time
Test (macOS-latest)	9m 18s
Test (ubuntu-24.04)	8m 9s
Android (ubuntu-24.04, aarch64-linux-android)	7m 58s
Test (windows-2022)	14m 27s
Compiletest (windows-2022)	16m 43s
Compiletest (ubuntu-24.04)	8m 26s
Difftest (ubuntu-24.04)	11m 34s
Difftest (macOS-latest)	15m 20s
Compiletest (macOS-latest)	7m 22s
cargo-deny	59s
Lint	6m 44s
Difftest (windows-2022)	18m 4s
test_success	4s
	2h 5m 8s

Provide feedback