[Laszlo-dev] timestamp, eg Debug.monitor()

[Lou Iorio]

What is the format of the timestamp, which looks like this: 822076.93?

I don't see this anywhere in the dguide or reference. Are users expected
to know this? Should it be in the doc?

Lou