Fix "Non-canonical cast (double) is deprecated" in PHP 8.5

Author: thekid

ChangeLog.md

@@ -3,6 +3,10 @@ JSON for the XP Framework ChangeLog
 
 ## ?.?.? / ????-??-??
 
+* Fixed deprecation warning *Non-canonical cast (double) is deprecated,
+  use the (float) cast instead* in PHP 8.5
+  (@thekid)
+
 ## 6.0.0 / 2025-05-04
 
 **Heads up:** Dropped support for PHP < 7.4, see xp-framework/rfc#343

src/main/php/text/json/Input.class.php

@@ -200,7 +200,7 @@ public function valueOf($token, $nesting= 0) {
       return null;
     } else if (preg_match('/^\-?(0|[1-9][0-9]*)(\.[0-9]+)?([eE][+-]?[0-9]+)?$/', $token)) {
       return $token > PHP_INT_MAX || $token < -PHP_INT_MAX- 1 || strcspn($token, '.eE') < strlen($token)
-        ? (double)$token
+        ? (float)$token
         : (int)$token
       ;
     } else {