二进制浮点数乘法