Konvertieren der Epochenzeit mit Millisekunden in Datum / Uhrzeit

Ich habe ein Ruby-Skript verwendet, um den ISO-Zeitstempel in eine Epoche umzuwandeln. Die Dateien, die ich analysiere, haben die folgende Zeitstempelstruktur:

2009-03-08T00:27:31.807

Da ich Millisekunden behalten möchte, habe ich folgenden Ruby-Code verwendet, um ihn in die Epochenzeit zu konvertieren:

irb(main):010:0> DateTime.parse('2009-03-08T00:27:31.807').strftime("%Q")
=> "1236472051807"

Aber in Python habe ich Folgendes versucht:

import time 
time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(1236472051807))

Aber ich bekomme nicht die ursprüngliche Uhrzeit zurück,

>>> time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(1236472051807))
'41152-03-29 02:50:07'
>>> 

Ich frage mich, ob es damit zusammenhängt, wie ich formatiere.

Verwendung datetime.datetime.fromtimestamp:

>>> import datetime
>>> s = 1236472051807 / 1000.0
>>> datetime.datetime.fromtimestamp(s).strftime('%Y-%m-%d %H:%M:%S.%f')
'2009-03-08 09:27:31.807000'

%fDirektive wird nur von unterstützt datetime.datetime.strftime, nicht von time.strftime.

UPDATE Alternative verwendet %, str.format:

>>> import time
>>> s, ms = divmod(1236472051807, 1000)  # (1236472051, 807)
>>> '%s.%03d' % (time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(s)), ms)
'2009-03-08 00:27:31.807'
>>> '{}.{:03d}'.format(time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(s)), ms)
'2009-03-08 00:27:31.807'

das sind milisekunden, dividiere sie einfach durch 1000, da gmtime sekunden erwartet ...

time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(1236472051807/1000.0))