16 bit float multiplier, untested