cpuTimePrecision wrong on Windows?

[Adrian Hey]

Adrian Hey wrote:
>  At least getCPUTime always seems to
> return a multiple of 125000000 (1/8 of cpuTimePrecision).

Actually, that's wrong. A little more intelligent experimentation
reveals that (on my system at least) getCPUTime always returns
a multiple of 15625000000 (cpuTimePrecision = 15.625 mS IOW).

It's still not the same as the figure exported by System.CPUTime
though :-(

Regards
--
Adrian Hey