C++: more parameterized modules in range analysis

This makes the modulus analysis and sign analysis into parameterized
modules which are instantiated in the main range analysis module, and
makes RangeAnalysisSpecific and RangeUtils into parameters to the main
range analysis.
Some classes also need to be moved and made into `instanceof` extensions
because they'd otherwise be extending across parameterized module
boundaries.

Author: rdmarsh2

cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/FloatDelta.qll

@@ -0,0 +1,22 @@
+private import RangeAnalysisStage
+
+module FloatDelta implements DeltaSig {
+    class Delta = float;
+  
+    bindingset[d]
+    bindingset[result]
+    float toFloat(Delta d) {result = d}
+  
+    bindingset[d]
+    bindingset[result]
+    int toInt(Delta d) {result = d}
+  
+  
+    bindingset[n]
+    bindingset[result]  Delta fromInt(int n) {result = n}
+  
+  
+    bindingset[f]
+    bindingset[result]  Delta fromFloat(float f) {result = f}
+  }
+