- var_dump: documentation ( source)
- json_encode: documentation ( source)
<?php
echo "Strings representing numbers automatically turned into numbers \n";
$numbers = array('+123123', '-123123', '1.2e3', '0.00001');
var_dump(
$numbers,
json_encode($numbers, JSON_NUMERIC_CHECK)
);