Re: How to format this type of timestamp

[Jean Louis]

* tomas@tuxteam.de <tomas@tuxteam.de> [2020-10-04 10:48]:
> On Sun, Oct 04, 2020 at 07:28:34AM +0300, Jean Louis wrote:
> > * Eli Zaretskii <eliz@gnu.org> [2020-10-03 15:23]:
> 
> [...]
> 
> > > Where did you get the value 1599712637489?  What is its semantics?
> 
> [...]
> 
> > >   (format-time-string "%c" 1599712637.489)
> > > 
> > > where I divided the value you provided by 1000.
> > 
> > Thank you, that is what I also search, how did developer made that
> > number. It is export of SMS from encrypted SMS application named
> > Silence. Maybe I will get answer soon.
> 
> FWIW timestamps as "milliseconds from UNIX epoch" as an integral type
> is one of the traditional Java time representations (these days they
> prefer to slap the whole OO abstraction cream cake on top ;-)
> 
> So this might well be a Javaism.

Then I guess, this could be the way to get this type of time:
2020-10-02 20:24:37.664704+03

(format-time-string "%F %T.%6N+03" (/ 1599549641372 1000.0))

If there is anything to improve, let me know.

Thank you.

Jean