feat: bounded lookup round half to even #4259

Job	Run time
ios-integration-tests	3m 39s
library-tests	3m 45s
docs	5m 21s
build	4m 53s
model-serialization	3m 20s
prove-and-verify-aggr-tests-gpu	1m 54s
python-integration-tests	1h 38m 36s
ultra-overflow-tests	7m 30s
ultra-overflow-tests_og-lookup	7m 29s
wasm32-tests	7m 36s
swift-package-tests	8m 0s
examples	11m 59s
prove-and-verify-tests	1h 7m 40s
python-tests	13m 6s
tutorial	15m 16s
mock-proving-tests	1h 15m 29s
prove-and-verify-aggr-tests	40m 49s
prove-and-verify-evm-tests	1h 3m 39s
accuracy-measurement-tests	41m 43s
prove-and-verify-aggr-evm-tests	41m 47s
prove-and-verify-mock-aggr-tests	7m 15s
	8h 50m 46s

Provide feedback