Basic support for floating point multiplication.

Rounding for multiplication is completely fully correct now (only
considers one bit rather than GRS)