PHP_JSON_T_DOUBLE   59 ext/json/json_parser.y %token <value> PHP_JSON_T_DOUBLE
PHP_JSON_T_DOUBLE  213 ext/json/json_parser.y 	|	PHP_JSON_T_DOUBLE
PHP_JSON_T_DOUBLE  322 ext/json/json_scanner.c 			return PHP_JSON_T_DOUBLE;
PHP_JSON_T_DOUBLE  547 ext/json/json_scanner.c 		return PHP_JSON_T_DOUBLE;