when an element value is computed by inputValueCalc, and the element type is numeric, and finite/limited, then a range check is needed.
Currently no range check is done.
Failure (i.e., we don't get a diagnostic from a range check) is illustrated in test
test_computedByteOverflow