Multiplication underflow should result in zero, not infinity.
Simplify computation of multiplication exponent. It's not necessary to convert into and out of 2's complement.