Apologies if I did a poor job of explaining, what you wrote seems in agreement with what I was attempting to convey. If one were only using integer types then

Apologies if I did a poor job of explaining, what you wrote seems in agreement with what I was attempting to convey. If one were only using integer types then the same problem would persist, that's correct. The problem would be solved by defining our limit type to only represent positive integers up to a specific safe value. Type refinement is done on the input boundaries of the system during runtime to prevent errors from propagating.