From 0e38843ae9fdf6b81e78c52cf1d18378896c1c63 Mon Sep 17 00:00:00 2001
From: Cary R <cygcary@yahoo.com>
Date: Wed, 10 Dec 2014 15:07:34 -0800
Subject: [PATCH] Make verinum output match for either 32-bit or 64-bit systems

---
 verinum.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/verinum.cc b/verinum.cc
index 3c889311a..c5f4be65e 100644
--- a/verinum.cc
+++ b/verinum.cc
@@ -780,7 +780,9 @@ ostream& operator<< (ostream&o, const verinum&v)
 
 	/* If the number is fully defined (no x or z) then print it
 	   out as a decimal number. */
-      if (v.is_defined() && v.len() <= 8*sizeof(long)) {
+      unsigned dec_len = 8*sizeof(int);  /* avoid 32/64 bit differences. */
+      if (! v.has_sign()) dec_len -= 1;  /* an unsigned number. */
+      if (v.is_defined() && v.len() <= dec_len) {
 	    if (v.has_sign())
 		  o << "'sd" << v.as_long();
 	    else