From c5511c7c0c83c136e43fcabbf9b7ad8da9917f15 Mon Sep 17 00:00:00 2001
From: dusk <strangealt@protonmail.com>
Date: Mon, 19 Feb 2024 19:13:45 +0100
Subject: [PATCH] Don't treat wide numbers as numbers

---
 src/orig.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/orig.py b/src/orig.py
index a41967f..8b91aeb 100755
--- a/src/orig.py
+++ b/src/orig.py
@@ -90,7 +90,7 @@ def get_symbols(line: str) -> (str, list[str]):
             x = i
             i += 2
             while i < len(line):
-                if line[i].isdigit():
+                if line[i] >= '0' and line[i] <= '9':
                     i += 1
                     continue