[bugfix] Increase decimal precision from 64 bits to 128 bits in fn:format-number

adamretter · adamretter · commit 8f93c8d12a8a · 2025-12-10T23:53:24.000+01:00
diff --git a/exist-core/src/main/java/org/exist/xquery/functions/fn/FnFormatNumbers.java b/exist-core/src/main/java/org/exist/xquery/functions/fn/FnFormatNumbers.java
@@ -647,7 +647,7 @@ private String format(final NumericValue number, final DecimalFormat decimalForm
             }
         }
 
-        adjustedNumber = new DecimalValue(this, adjustedNumber.convertTo(Type.DECIMAL).toJavaObject(BigDecimal.class).multiply(BigDecimal.ONE, MathContext.DECIMAL64)).round(new IntegerValue(this, subPicture.getMaximumFractionalPartSize())).abs();
+        adjustedNumber = new DecimalValue(this, adjustedNumber.convertTo(Type.DECIMAL).toJavaObject(BigDecimal.class).multiply(BigDecimal.ONE, MathContext.DECIMAL128)).round(new IntegerValue(this, subPicture.getMaximumFractionalPartSize())).abs();
 
         /* we can now start formatting for display */
 

Original file line number	Diff line number	Diff line change
`@@ -647,7 +647,7 @@ private String format(final NumericValue number, final DecimalFormat decimalForm`
`647`	`647`	`}`
`648`	`648`	`}`
`649`	`649`
`650`		`- adjustedNumber = new DecimalValue(this, adjustedNumber.convertTo(Type.DECIMAL).toJavaObject(BigDecimal.class).multiply(BigDecimal.ONE, MathContext.DECIMAL64)).round(new IntegerValue(this, subPicture.getMaximumFractionalPartSize())).abs();`
	`650`	`+ adjustedNumber = new DecimalValue(this, adjustedNumber.convertTo(Type.DECIMAL).toJavaObject(BigDecimal.class).multiply(BigDecimal.ONE, MathContext.DECIMAL128)).round(new IntegerValue(this, subPicture.getMaximumFractionalPartSize())).abs();`
`651`	`651`
`652`	`652`	`/* we can now start formatting for display */`
`653`	`653`