On Thu, 2 Jan 2014 16:23:22 +0000 (UTC), Grant Edwards
<invalid@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
--
https://mail.python.org/mailman/listinfo/python-list
