Convert floating point division by a constant into multiplication by the