Likely Bugs/Arithmetic/FloatComparison.ql