fix: locale-dependent printf in run-random-tests.sh

Author: michalsn

.github/scripts/run-random-tests.sh

@@ -23,6 +23,7 @@
 ################################################################################
 
 set -u
+export LC_NUMERIC=C
 trap 'kill "${bg_pids[@]:-}" 2>/dev/null; wait 2>/dev/null' EXIT INT TERM
 
 ################################################################################