結果 : binary floating point multiplication