- json_decode: documentation ( source)
- print_r: documentation ( source)
- ini_set: documentation ( source)
<?php
ini_set('precision', 20);
print_r(json_decode('{"test":1234567890.12345678,"int":999999999999999999999999999999999999}', true, 512, JSON_BIGINT_AS_STRING));