On a 32 bit system you can print a 32 bit value as a long (verinum)

2014-11-05 14:40:15 -08:00 · 2014-11-05 14:40:15 -08:00 · 4e94b81a4b
parent 6948c27c2d
commit 4e94b81a4b
1 changed files with 1 additions and 1 deletions
--- a/verinum.cc
+++ b/verinum.cc
@ -780,7 +780,7 @@ 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)) {
+      if (v.is_defined() && v.len() <= 8*sizeof(long)) {
 	    if (v.has_sign())
 		  o << "'sd" << v.as_long();
 	    else