Fix ctype_digit deprecation

Author: alexpott

Inline.php

@@ -161,8 +161,8 @@ public static function dump($value, int $flags = 0): string
                 return 'true';
             case false === $value:
                 return 'false';
-            case ctype_digit($value):
-                return \is_string($value) ? "'$value'" : (int) $value;
+            case \is_int($value):
+                return $value;
             case is_numeric($value) && false === strpos($value, "\f") && false === strpos($value, "\n") && false === strpos($value, "\r") && false === strpos($value, "\t") && false === strpos($value, "\v"):
                 $locale = setlocale(\LC_NUMERIC, 0);
                 if (false !== $locale) {