Force floating-point division.