Fix PHP 7 compatibility strict_types (#5893)

* Fix PHP 7 compatibility
https://github.com/FreshRSS/FreshRSS/discussions/5892

* Multiple PHP 7 fixes

* PHPStan

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/lib_rss.php b/lib/lib_rss.php
index 7a65a0433..0ab49e25e 100644
--- a/lib/lib_rss.php
+++ b/lib/lib_rss.php
@@ -171,7 +171,7 @@ function escapeToUnicodeAlternative(string $text, bool $extended = true): string
 function format_number($n, int $precision = 0): string {
 	// number_format does not seem to be Unicode-compatible
 	return str_replace(' ', ' ',	// Thin non-breaking space
-		number_format($n, $precision, '.', ' ')
+		number_format((float)$n, $precision, '.', ' ')
 	);
 }