Optimized compareTo for Number

Author: VincenzoArceri

src/main/java/it/unipr/analysis/Number.java

@@ -302,9 +302,16 @@ public String toString() {
 
 	@Override
 	public int compareTo(Number other) {
+		if (getType() == other.getType()) {
+			if (getType() == Type.INT)
+				return Integer.compare(this.i, other.i);
+			else if (getType() == Type.LONG)
+				return Long.compare(this.l, other.l);
+		}
+
+		// Otherwise, fall back to BigInteger comparisons.
 		BigInteger me = toBigInteger(this);
 		BigInteger ot = toBigInteger(other);
-
 		return me.compareTo(ot);
 	}