- json_encode: documentation ( source)
<?php
$values = array(
123456,
'123456',
'123e456'
);
foreach($values as $value){
echo json_encode($value, JSON_NUMERIC_CHECK)." \n";
}