Better than than silently ignoring an if guard preventing an overflow, and then overflowing anyways on addition.