- var_dump: documentation ( source)
- json_encode: documentation ( source)
<?php
$val_str = "1008901020901566350119";
$int = "1";
$string = "12345";
$data = array("val_str" => $val_str, "int" => (int)$int, "string" => $string);
var_dump(json_encode($data));