--- a/src/core/model/int64x64.cc	Fri May 13 14:51:51 2011 -0400
+++ b/src/core/model/int64x64.cc	Fri May 13 14:52:27 2011 -0400
@@ -31,7 +31,7 @@
 std::ostream &operator << (std::ostream &os, const int64x64_t &value)
 {
   int64_t hi = value.GetHigh ();
-  os << ((hi<0)?"-":"+") << ((hi<0)?-hi:hi) << ".";
+  os << ((hi<0) ? "-" : "+") << ((hi<0) ? -hi : hi) << ".";
   uint64_t low = value.GetLow ();
   uint8_t msd = MostSignificantDigit (~((uint64_t)0));
   do
@@ -80,13 +80,13 @@
     {
       next = str.find ("+", cur);
       if (next != std::string::npos)
-	{
-	  next++;
-	}
+        {
+          next++;
+        }
       else
-	{
-	  next = cur;
-	}
+        {
+          next = cur;
+        }
       negative = false;
     }
   cur = next;
@@ -103,7 +103,7 @@
       hi = ReadDigits (str.substr (cur, str.size ()-cur));
       lo = 0;
     }
-  hi = negative?-hi:hi;
+  hi = negative ? -hi : hi;
   value = int64x64_t (hi, lo);
   return is;
 }