php_json_is_valid_double  298 ext/json/json_encoder.c 			} else if (type == IS_DOUBLE && php_json_is_valid_double(d)) {
php_json_is_valid_double  516 ext/json/json_encoder.c 			if (php_json_is_valid_double(Z_DVAL_P(val))) {