diff --git a/src/simulator/time.cc b/src/simulator/time.cc
index 1fb68105d..a74de3be6 100644
--- a/src/simulator/time.cc
+++ b/src/simulator/time.cc
@@ -165,7 +165,7 @@ operator<< (std::ostream& os, const Time & time)
       unit = "unreachable";
       break;
     }
-  double v = Time::ToDouble (time, Time::GetResolution ());
+  uint64_t v = Time::ToInteger (time, Time::GetResolution ());
   os << v << unit;
   return os;
 }