feat: bounded lookup round half to even (#863) #4260

Job	Run time
docs	5m 22s
build	5m 17s
model-serialization	3m 30s
library-tests	4m 7s
ultra-overflow-tests	7m 31s
ultra-overflow-tests_og-lookup	7m 32s
ios-integration-tests	4m 32s
prove-and-verify-aggr-tests-gpu	1m 55s
python-integration-tests	1h 39m 23s
wasm32-tests	7m 53s
swift-package-tests	9m 50s
python-tests	13m 4s
examples	12m 15s
prove-and-verify-tests	1h 7m 19s
mock-proving-tests	1h 13m 51s
accuracy-measurement-tests	42m 2s
prove-and-verify-aggr-evm-tests	37m 52s
prove-and-verify-aggr-tests	45m 4s
prove-and-verify-evm-tests	1h 3m 9s
prove-and-verify-mock-aggr-tests	7m 15s
tutorial	14m 54s
	8h 53m 37s

Provide feedback