Converting Time question

[Math]

Hello PythonPeople..

Can anybody help me out?
How do I convert a time of day from milliseconds?
For example:
I got the following time in milliseconds: 1,090516451769E+15
And I want to print it like: 17:14:11.769
I'm on WinXP
Time zone: GMT +01:00

Thank you all!

 

[Sybren Stuvel]

Math enlightened us with:

How do I convert a time of day from milliseconds?

Milliseconds since what?

Sybren