fixup! C++: Apply widening based on number of bounds measure

Author: paldepind

cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

@@ -755,7 +755,8 @@ private module BoundsEstimate {
         exists(RangeSsaDefinition def, StackVariable v |
           e = def.getAUse(v) and
           result = nrOfBoundsDef(def, v) and
-          not exists(getValue(e).toFloat()) // Why?
+          // Avoid returning two numbers when `e` is a use with a constant value.
+          not exists(getValue(e).toFloat())
         )
         or
         e instanceof UnsignedBitwiseAndExpr and