Fix DOUBLE comparisons with IF.