runtime/typemapping.py
changeset 1973 cc7a46953471
parent 1963 cded8d8a0485
parent 1902 2b7e2db31d81
child 2741 3cc5663af196
--- a/runtime/typemapping.py	Thu Mar 01 14:28:55 2018 +0100
+++ b/runtime/typemapping.py	Fri Mar 02 17:01:25 2018 +0100
@@ -35,7 +35,7 @@
 
 def _ttime():
     return (IEC_TIME,
-            lambda x: td(0, x.s, x.ns/1000),
+            lambda x: td(0, x.s, x.ns/1000.0),
             lambda t, x: t(x.days * 24 * 3600 + x.seconds, x.microseconds*1000))