[timer] fix float/int issue (#4058)

lib/python/timer.py

@@ -113,7 +113,7 @@ def shouldSkip(self):
 		return self.end <= time() and self.state == TimerEntry.StateWaiting
 
 	def abort(self):
-		self.end = time()
+		self.end = int(time())
 
 		# in case timer has not yet started, but gets aborted (so it's preparing),
 		# set begin to now.