Re: \timing interval

>>>>> "Gavin" == Gavin Flower <GavinFlower@archidevsys.co.nz> writes:
>> How about>> >> Time: 1234567.666 ms (20m 34.6s)
Gavin> I like that, but I think the human form should retain the 3Gavin> decimal places.

Scale it.

Time: 12.345 ms (0.012345s)

Time: 1234.567 ms (1.235s)

Time: 98765.432 ms (98.8s)

Time: 123456.789 ms (2m 3.5s)

Time: 12345678.666 ms (3h 24m 46s)
Gavin> In a few years, we may well have enormously multiprocessorGavin> computers with massive very fast permanent
'RAM'where theGavin> entire database is always in memory, so timing to the nearestGavin> microsecond could be useful.
 

But the original microsecond-resolution value is still right there, so I
don't see the issue.

-- 
Andrew (irc:RhodiumToad)