- Add the exponent to the float modifier

diff --git a/run-tests.php b/run-tests.php
index d5d850a1c1386b0c2ae0d09d3810aa65c3e84a51..ba49ca83b13329e1adf95cee470137b1789b4bca 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -719,7 +719,7 @@ COMMAND $cmd
                        $wanted_re = str_replace("%i", "[+\-]?[0-9]+", $wanted_re);
                        $wanted_re = str_replace("%d", "[0-9]+", $wanted_re);
                        $wanted_re = str_replace("%x", "[0-9a-fA-F]+", $wanted_re);
-                       $wanted_re = str_replace("%f", "[+\-]?\.?[0-9]+\.?[0-9]*", $wanted_re);
+                       $wanted_re = str_replace("%f", "[+\-]?\.?[0-9]+\.?[0-9]*(E-?[0-9]+)?", $wanted_re);
                        $wanted_re = str_replace("%c", ".", $wanted_re);
                        // %f allows two points "-.0.0" but that is the best *simple* expression
                }