Use double instead of float

php · Feb 4, 2025 · 8ce18c4 · 8ce18c4
1 parent b7524bb
commit 8ce18c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ext/mbstring/mbstring.c b/ext/mbstring/mbstring.c
@@ -3092,8 +3092,8 @@ try_next_encoding:;
 	}
 
 	for (size_t i = 0; i < length; i++) {
-		float demerits = array[i].demerits * array[i].multiplier;
-		array[i].demerits = demerits < (float) UINT64_MAX ? (uint64_t) demerits : UINT64_MAX;
+		double demerits = array[i].demerits * array[i].multiplier;
+		array[i].demerits = demerits < (double) UINT64_MAX ? (uint64_t) demerits : UINT64_MAX;
 	}
 
 	return length;