A float-point division is replaced with a multiplication.