This is a nicer number format (e.g. 1e3)

2024-08-24 10:01:05 -07:00 · 2024-08-24 10:01:05 -07:00 · 8e22c59aa8
commit 8e22c59aa8
parent f29ec5072f
1 changed files with 6 additions and 6 deletions
--- a/grammar.py
+++ b/grammar.py
@ -393,13 +393,13 @@ class FineGrammar(Grammar):
            Re.set(("0", "9")).plus(),
            Re.seq(
                Re.literal("."),
-                Re.set(("0", "9")),
+                Re.set(("0", "9")).plus(),
+            ).question(),
            Re.seq(
                Re.set("e", "E"),
                Re.set("+", "-").question(),
                Re.set(("0", "9")).plus(),
            ).question(),
-            ).question(),
        )
    )
    TRUE = Terminal("true")