Merges overrides over the defaults, rejecting values that could not bound anything: a ceiling must be a positive safe integer so that comparisons and the sums built on them stay exact.
Optional
Merges overrides over the defaults, rejecting values that could not bound anything: a ceiling must be a positive safe integer so that comparisons and the sums built on them stay exact.