3.5.5 浮点乘法