math::checked provides safe integer arithmetic functions that check for
overflow.
