diff --git a/src/core/model/nstime.h b/src/core/model/nstime.h
index 090990534..d9bb42c97 100644
--- a/src/core/model/nstime.h
+++ b/src/core/model/nstime.h
@@ -234,7 +234,7 @@ public:
       }
   }
   explicit inline Time (const int64x64_t & v)
-    : m_data (v.GetHigh ())
+    : m_data (v.Round ())
   {
     if (g_markingTimes)
       {