Fix large integer queries

Summary

This MR does two things:

• Fix https://gitlab.com/caosdb/caosdb-server/-/issues/145
• Expose some internals of POV.java for unittests.

Please merge together with caosdb-pyinttest!35 (merged)

Focus

• Was the cast to integer necessary before?
• Was the required dot in Doubles necessary before?

Test Environment

Unit tests, integration tests.

Check List for the Author

Please, prepare your MR for a review. Be sure to write a summary and a focus and create gitlab comments for the reviewer. They should guide the reviewer through the changes, explain your changes and also point out open questions. For further good practices have a look at our review guidelines

• All automated tests pass
• Reference related issues #239 (closed)
• Up-to-date CHANGELOG.md (or not necessary)
• Annotations in code (Gitlab comments)
  • Intent of new code
  • Problems with old code
  • Why this implementation?

Check List for the Reviewer

• I understand the intent of this MR
• All automated tests pass
• Up-to-date CHANGELOG.md (or not necessary)
• The test environment setup works and the intended behavior is reproducible in the test environment
• In-code documentation and comments are up-to-date.
• Check: Are there specifications? Are they satisfied?

For further good practices have a look at our review guidelines.

src/main/java/org/caosdb/server/query/POV.java

@@ -133,7 +133,8 @@ public class POV implements EntityFilterInterface {
         this.vDouble = (double) this.vInt;
       } else {
         try {
-          final Pattern dp = Pattern.compile("^(-?[0-9]+(?:\\.[0-9]+))\\s*([^-]*)$");
+          // Doubles are allowed without dots, for example when the integer overflows.
+          final Pattern dp = Pattern.compile("^(-?[0-9]+(?:\\.)?(?:[0-9]+))\\s*([^-]*)$");
           final Matcher m = dp.matcher(value);
           if (!m.matches()) {
             throw new NumberFormatException();
@@ -142,9 +143,6 @@ public class POV implements EntityFilterInterface {
           unitStr = m.group(2);
 
           this.vDouble = Double.parseDouble(vDoubleStr);
-          if (this.vDouble % 1 == 0) {
-            this.vInt = (int) Math.floor(this.vDouble);
-          }
         } catch (final NumberFormatException e) {
           this.vDouble = null;
         }
@@ -505,6 +503,35 @@ public class POV implements EntityFilterInterface {
     return ret;
   }
 
+  /** Return the value type as string, for debugging puposes. */
+  public String getValueType() {
+    if (this.vInt != null) { // vInt
+      return "Integer";
+    }
+    if (this.vDouble != null) { // vInt
+      return "Double";
+    }
+    if (this.vDatetime != null) { // vInt
+      return "Datetime";
+    }
+    return "String";
+  }
+
+  /** Return the Int value, which may be null. */
+  public Integer getVInt() {
+    return this.vInt;
+  }
+
+  /** Return the Double value, which may be null. */
+  public Double getVDouble() {
+    return this.vDouble;
+  }
+
+  /** Return the Datetime value, which may be null. */
+  public DateTimeInterface getVDatetime() {
+    return this.vDatetime;
+  }
+
   public String getAggregate() {
     return this.aggregate;
   }