about time

[Byron Morgan]

The time.py module seems to have no straightforward method to produce a time
display with seconds expressed in floating point precision, even though
clock() will produce microseconds. Am I missing something in the docs?

I have contrived a way to splice together the precision timestamp I need,
but it is inelegant, and probably uses too much of the commodity it is
measuring (time).

Anyone have a timely tip for me?

Byron Morgan