Finally, the multiplication by |x| cannot underflow, and overflows only when the result is too large to represent.