Division: Fixed false positives when second operand is float-casted