如何在python中将秒和毫秒转换为历元？将它们添加到另一个历元时间戳是否正确？

我有这个字符串：

“00:00:45.0010796”

这是视频中以秒为单位的时间。首先，如何将其转换为python中的历元字符串？其次，假设我有这个字符串

“1512992049819”

---

这是视频开始的时间（但其中也包含年、月和日期信息）。将第一个字符串转换为历元后，如果将其添加到第二个字符串（就像添加任意两个数字一样），生成的历元时间戳是否正确？

这可以通过使用子字符串轻松解决

s1 = "00:00:45.0010796"
s2 = "1512992049819"

video_length = (int(s1[:2])*60*60 + int(s1[3:5])*60 + float(s1[6:]))*1000

print(int(s2)+video_length)