Update model column bounds after inward integer rounding! #2423

Job	Run time
debug (macos-latest)	17m 6s
debug_all_tests (macos-latest)	14m 46s
debug64 (macos-latest)	13m 42s
debug64_all_tests (macos-latest)	18m 7s
release (macos-latest)	5m 8s
release_all_tests (macos-latest)	8m 25s
Release64 (macos-latest)	16m 34s
Release64_all_tests (macos-latest)	14m 42s
	1h 48m 30s

Provide feedback