Fix PHP numbers typed as int

Author: abnegate

src/SDK/Language/PHP.php

@@ -261,7 +261,7 @@ public function getTypeName(array $parameter, array $spec = []): string
         return match ($parameter['type']) {
             self::TYPE_STRING => 'string',
             self::TYPE_BOOLEAN => 'bool',
-            self::TYPE_NUMBER,
+            self::TYPE_NUMBER => 'float',
             self::TYPE_INTEGER => 'int',
             self::TYPE_ARRAY,
             self::TYPE_OBJECT => 'array',