Added fp_mult_hw, a floating point multiplier that uses the embedded hardware multipliers. Saves silicon real estate.