From eb3dcc27867a0ff82691519819d82269126f8d50 Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Sat, 17 May 2008 16:26:32 -0700
Subject: [PATCH] Dump verinum value as decimal if possible, even if sized.

---
 verinum.cc | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/verinum.cc b/verinum.cc
index cb66ace0c..a69b2d194 100644
--- a/verinum.cc
+++ b/verinum.cc
@@ -564,25 +564,11 @@ ostream& operator<< (ostream&o, const verinum&v)
 	   output. */
       if (v.has_len()) {
 	    o << v.len();
-	    if (v.has_sign())
-		  o << "'sb";
-	    else
-		  o << "'b";
-
-	    if (v.len() == 0) {
-		  o << "0";
-		  return o;
-	    }
-
-	    for (unsigned idx = v.len() ;  idx > 0 ;  idx -= 1)
-		  o << v[idx-1];
-
-	    return o;
       }
 
 	/* If the number is fully defined (no x or z) then print it
 	   out as a decimal number. */
-      if (v.is_defined() && v.len() < sizeof(long)) {
+      if (v.is_defined() && v.len() < 8*sizeof(long)) {
 	    if (v.has_sign())
 		  o << "'sd" << v.as_long();
 	    else