Add a decimal separator to the row count displayed in the progress bar

src/Console/Helper/DumpInfo.php

@@ -176,6 +176,8 @@ private function formatValue(mixed $value): string
      */
     private function formatRowCount(int $rowCount): string
     {
-        return $rowCount > 1 ? sprintf('%d rows', $rowCount) : sprintf('%d row', $rowCount);
+        $formatted = number_format($rowCount, 0, '.', ' ');
+
+        return $rowCount > 1 ? $formatted . ' rows' : $formatted . ' row';
     }
 }