US7330867B2 - Method and Device for Floating-Point Multiplication, and Corresponding Computer-Program Product