Revert "Fix #79908: json_encode encodes negative zero as int"

This reverts commit 717f1ed, as requested by the author via
#7234 (comment).

Author: carusogabriel

NEWS

@@ -23,9 +23,6 @@ PHP                                                                        NEWS
   . Fixed bug #68471 (IntlDateFormatter fails for "GMT+00:00" timezone). (cmb)
   . Fixed bug #74264 (grapheme_strrpos() broken for negative offsets). (cmb)
 
-- JSON:
-  . Fixed bug #79908 (json_encode encodes negative zero as int). (cmb)
-
 - OpenSSL:
   . Fixed bug #52093 (openssl_csr_sign truncates $serial). (cmb)
 

ext/json/json_encoder.c

@@ -102,8 +102,7 @@ static inline void php_json_encode_double(smart_str *buf, double d, int options)
 
 	php_gcvt(d, (int)PG(serialize_precision), '.', 'e', num);
 	len = strlen(num);
-	if ((options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_DOUBLE_MAX_LENGTH - 2)
-	 || (UNEXPECTED(len == 2 && num[0] == '-' && num[1] == '0'))) {
+	if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_DOUBLE_MAX_LENGTH - 2) {
 		num[len++] = '.';
 		num[len++] = '0';
 		num[len] = '\0';