Mitigate arithmetic wrap-around (overflow and underflow) #345
Description
We must mitigate all arithmetic wrap-around (overflow and underflow). This requires solving it for each of the three variable types:
{{ message }}
We must mitigate all arithmetic wrap-around (overflow and underflow). This requires solving it for each of the three variable types: