PHP_JSON_PRESERVE_ZERO_FRACTION  114 ext/json/json.c 	REGISTER_LONG_CONSTANT("JSON_PRESERVE_ZERO_FRACTION", PHP_JSON_PRESERVE_ZERO_FRACTION, CONST_CS | CONST_PERSISTENT);
PHP_JSON_PRESERVE_ZERO_FRACTION  437 ext/json/json.c 				if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && l < NUM_BUF_SIZE - 2) {
PHP_JSON_PRESERVE_ZERO_FRACTION  646 ext/json/json.c 					if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < NUM_BUF_SIZE - 2) {