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