fix: large decimals that round to too many digits must fail parsing

.github/workflows/php.yml

@@ -87,7 +87,7 @@ jobs:
 
     - name: Check code style
       if: matrix.php-versions == env.code-coverage-version
-      run: composer run-script phpcs -- --report=checkstyle | cs2pr
+      run: composer run-script phpcs -- --report=checkstyle | cs2pr --graceful-warnings
 
     - name: Run PHPUnit tests
       if: matrix.php-versions != env.code-coverage-version

phpcs.xml.dist

@@ -25,7 +25,6 @@
     <rule ref="SlevomatCodingStandard.Functions.UselessParameterDefaultValue"/>
     <rule ref="SlevomatCodingStandard.Namespaces.AlphabeticallySortedUses"/>
     <rule ref="SlevomatCodingStandard.Namespaces.UnusedUses"/>
-    <rule ref="SlevomatCodingStandard.Namespaces.UnusedUses"/>
     <rule ref="SlevomatCodingStandard.TypeHints.ParameterTypeHint"/>
     <rule ref="SlevomatCodingStandard.TypeHints.PropertyTypeHint"/>
     <rule ref="SlevomatCodingStandard.TypeHints.ReturnTypeHint"/>

src/Serializer.php

@@ -178,22 +178,24 @@
 
     private static function serializeInteger(int $value): string
     {
-        if ($value > 999999999999999 || $value < -999999999999999) {
+        if ($value > 999_999_999_999_999 || $value < -999_999_999_999_999) {
             throw new SerializeException("Integers are limited to 15 digits");
         }
         return (string) $value;
     }
 
     private static function serializeDecimal(float $value): string
     {
-        if (abs(floor($value)) > 999999999999) {
-            throw new SerializeException("Integer portion of decimals is limited to 12 digits");
+        $value = round($value, 3, PHP_ROUND_HALF_EVEN);
+
+        if (abs(floor($value)) > 999_999_999_999) {
+            throw new SerializeException("Integer portion of decimals is limited to 12 digits after rounding to three decimal places");
         }
 
         // Casting to a string loses a digit on long numbers, but is preserved
-        // by json_encode (e.g. 111111111111.111).
+        // by json_encode (e.g. 111_111_111_111.111).
         /** @var non-empty-string $result */
-        $result = json_encode(round($value, 3, PHP_ROUND_HALF_EVEN));
+        $result = json_encode($value);
 
         if (!str_contains($result, '.')) {
             $result .= '.0';