need to print seconds from the epoch including the millisecond

[Dave Angel]

On Thu, 2 Jan 2014 16:23:22 +0000 (UTC), Grant Edwards 
<invalid at invalid.invalid> wrote:
> AFAIK, that's irrelevent.  time.time() returns a float.  On all the
> CPython implementations I know of, that is a 64-bit IEEE format, 
which
> provides 16 decimal digits of precision regardless of the 
granularity
> of the system time value.  At this point in time, that means 10 
digits
> left of the decimal point and 6 to the right.

Correction: no more than about 6 to the right.  You can certainly get 
less, from an os with a smaller resolution.  Or you can lose some of 
what you do get by printing in a sub-optimal way.

-- 
DaveA