[bugfix] Fix comparison of INF and -INF values for xs:float and xs:double

Author: adamretter

exist-core/src/main/java/org/exist/xquery/value/DoubleValue.java

@@ -146,19 +146,21 @@ public boolean isPositive() {
 
     @Override
     protected @Nullable IntSupplier createComparisonWith(final NumericValue other) {
-        if (other instanceof IntegerValue) {
-            return () -> BigDecimal.valueOf(value).compareTo(new BigDecimal(((IntegerValue) other).value));
-        }
-        if (other instanceof DecimalValue) {
-            return () -> BigDecimal.valueOf(value).compareTo(((DecimalValue) other).value);
-        }
-        if (other instanceof DoubleValue) {
-            return () -> Double.compare(value, ((DoubleValue) other).value);
-        }
-        if (other instanceof FloatValue) {
-            return () -> Double.compare(value, ((FloatValue) other).value);
-        }
-        return null;
+        final IntSupplier comparison;
+        if (isInfinite() && other.isInfinite() && isPositive() == other.isPositive()) {
+            comparison = () -> Constants.EQUAL;
+        } else if (other instanceof IntegerValue) {
+            comparison = () -> BigDecimal.valueOf(value).compareTo(new BigDecimal(((IntegerValue) other).value));
+        } else if (other instanceof DecimalValue) {
+            comparison = () -> BigDecimal.valueOf(value).compareTo(((DecimalValue) other).value);
+        } else if (other instanceof DoubleValue) {
+            comparison = () -> Double.compare(value, ((DoubleValue) other).value);
+        } else if (other instanceof FloatValue) {
+            comparison = () -> Double.compare(value, ((FloatValue) other).value);
+        } else {
+            comparison = null;
+        }
+        return comparison;
     }
 
     @Override

exist-core/src/main/java/org/exist/xquery/value/FloatValue.java

@@ -150,7 +150,10 @@ public boolean isPositive() {
     @Override
     protected @Nullable IntSupplier createComparisonWith(final NumericValue other) {
         final IntSupplier comparison;
-        if (other instanceof IntegerValue) {
+
+        if (isInfinite() && other.isInfinite() && isPositive() == other.isPositive()) {
+            comparison = () -> Constants.EQUAL;
+        } else if (other instanceof IntegerValue) {
             comparison = () -> BigDecimal.valueOf(value).compareTo(new BigDecimal(((IntegerValue)other).value));
         } else if (other instanceof DecimalValue) {
             final BigDecimal promoted = new BigDecimal(Float.toString(value));