better const folding for int and bool #587

Job	Run time
Compiletest (ubuntu-24.04)	8m 2s
Compiletest (macOS-latest)	7m 52s
Compiletest (windows-2022)	13m 7s
Test (windows-2022)	13m 8s
Test (ubuntu-24.04)	8m 0s
Lint	5m 32s
cargo-deny	1m 19s
Test (macOS-latest)	8m 59s
Android (ubuntu-24.04, aarch64-linux-android)	8m 51s
Difftest (ubuntu-24.04)	10m 18s
Difftest (windows-2022)	13m 8s
Difftest (macOS-latest)	13m 15s
test_success	3s
	1h 51m 34s

Provide feedback