php_json_encode_double  299 ext/json/json_encoder.c 				php_json_encode_double(buf, d, options);
php_json_encode_double  517 ext/json/json_encoder.c 				php_json_encode_double(buf, Z_DVAL_P(val), options);