diff --git a/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py
index 152edf093..60d3d701e 100644
--- a/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py
+++ b/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py
@@ -8,10 +8,10 @@
 # Extend generated class with our externs
 class default__(smithy_dafny_standard_library.internaldafny.generated.Time.default__):
     def CurrentRelativeTimeMilli():
-        return datetime.datetime.now(tz = pytz.UTC).timestamp() * 1000
+        return round(datetime.datetime.now(tz = pytz.UTC).timestamp() * 1000)
 
     def CurrentRelativeTime():
-        return datetime.datetime.now(tz = pytz.UTC).timestamp()
+        return round(datetime.datetime.now(tz = pytz.UTC).timestamp())
 
     def GetCurrentTimeStamp():
         try:
@@ -22,4 +22,4 @@ def GetCurrentTimeStamp():
         
 
 # Export externs
-smithy_dafny_standard_library.internaldafny.generated.Time.default__ = default__
\ No newline at end of file
+smithy_dafny_standard_library.internaldafny.generated.Time.default__ = default__