2 files changed, 15 insertions, 0 deletions
diff --git a/lib/sail.c b/lib/sail.c
index 42ee8209..9b7a1696 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -1130,6 +1130,19 @@ void string_of_sail_bits(sail_string *str, const sail_bits op)
   }
 }
 
+void decimal_string_of_mach_bits(sail_string *str, const mach_bits op)
+{
+  int bytes = asprintf(str, "%" PRId64, op);
+  if (bytes == -1) {
+    fprintf(stderr, "Could not print bits %" PRId64 "\n", op);
+  }
+}
+
+void decimal_string_of_sail_bits(sail_string *str, const sail_bits op)
+{
+  gmp_asprintf(str, "%Z", *op.bits);
+}
+
 void fprint_bits(const sail_string pre,
 		 const sail_bits op,
 		 const sail_string post,
diff --git a/lib/sail.h b/lib/sail.h
index 57897957..598ac67d 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -333,6 +333,8 @@ void string_drop(sail_string *dst, sail_string s, sail_int len);
 void string_of_int(sail_string *str, const sail_int i);
 void string_of_sail_bits(sail_string *str, const sail_bits op);
 void string_of_mach_bits(sail_string *str, const mach_bits op);
+void decimal_string_of_sail_bits(sail_string *str, const sail_bits op);
+void decimal_string_of_mach_bits(sail_string *str, const mach_bits op);
 
 /*
  * Utility function not callable from Sail!