Parse JSON number more precisely.

Barenboim · Barenboim · commit 664017014ebf · 2023-10-24T20:42:01.000+08:00
diff --git a/json_parser.c b/json_parser.c
@@ -305,8 +305,13 @@ static double __evaluate_json_number(const char *integer,
 	{
 		if (exp > 0)
 			num *= pow(10, exp);
-		else
+		else if (exp >= -308)
 			num /= pow(10, -exp);
+		else
+		{
+			num /= pow(10, -exp - 308);
+			num /= 1.0e308;
+		}
 	}
 
 	return sign ? -num : num;

Original file line number	Diff line number	Diff line change
`@@ -305,8 +305,13 @@ static double __evaluate_json_number(const char *integer,`
`305`	`305`	`{`
`306`	`306`	`if (exp > 0)`
`307`	`307`	`num *= pow(10, exp);`
`308`		`- else`
	`308`	`+ else if (exp >= -308)`
`309`	`309`	`num /= pow(10, -exp);`
	`310`	`+ else`
	`311`	`+ {`
	`312`	`+ num /= pow(10, -exp - 308);`
	`313`	`+ num /= 1.0e308;`
	`314`	`+ }`
`310`	`315`	`}`
`311`	`316`
`312`	`317`	`return sign ? -num : num;`