PHP_JSON_PRESERVE_ZERO_FRACTION  119 ext/json/json.c 	PHP_JSON_REGISTER_CONSTANT("JSON_PRESERVE_ZERO_FRACTION", PHP_JSON_PRESERVE_ZERO_FRACTION);
PHP_JSON_PRESERVE_ZERO_FRACTION  109 ext/json/json_encoder.c 	if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_JSON_DOUBLE_MAX_LENGTH - 2) {