From 095b32d1576cbb99811dfe52652718cb81596835 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Tue, 9 Feb 2021 12:51:05 +0100
Subject: [PATCH] Fix of_string for words

---
 src/mo_values/numerics.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/mo_values/numerics.ml b/src/mo_values/numerics.ml
index 81dfad4ce71..65e25dfeacd 100644
--- a/src/mo_values/numerics.ml
+++ b/src/mo_values/numerics.ml
@@ -371,6 +371,9 @@ struct
   let of_int = WordRep.of_int_u
   let to_int w = Big_int.int_of_big_int (WordRep.to_big_int w)
 
+  let of_string s =
+    of_big_int (Big_int.big_int_of_string (String.concat "" (String.split_on_char '_' s)))
+
   let base = of_int_u 16
   let digs =
     [|"0"; "1"; "2"; "3"; "4"; "5"; "6"; "7";