Comment by saeta

While that's true for fixed-precision integer arithmetic, this doesn't hold true for floating point multiplication.