Description:
------------
handling large int does not work according to documentation:

(Tested on 5.4.6)

Example from documentation: http://php.net/manual/en/language.types.integer.php

$large_number = 9223372036854775807;
var_dump($large_number);                     // int(9223372036854775807)


If this is expected behavior, please update documentation to specify it more clearly.

Please note that converting all integer values to string with number_format function is quite time and code consuming..

Test script:
---------------
$large_number = 9223372036854775807;
var_dump($large_number);                     // int(9223372036854775807)

Expected result:
----------------
int(9223372036854775807)

Actual result:
--------------
float(9.2233720368548E+18)