--- a/src/simulator/high-precision-double.h	Mon Dec 04 10:17:53 2006 +0100
+++ b/src/simulator/high-precision-double.h	Mon Dec 04 10:33:02 2006 +0100
@@ -36,11 +36,10 @@
 {
 public:
   HighPrecision ();
-  HighPrecision (int64_t high, int64_t low);
+  HighPrecision (int64_t value, bool dummy);
   HighPrecision (double value);
   
-  int64_t GetHigh (void) const;
-  int64_t GetLow (void) const;
+  int64_t GetInteger (void) const;
   double GetDouble (void) const;
   bool Add (HighPrecision const &o);
   bool Sub (HighPrecision const &o);