cpuTimePrecision wrong on Windows?

[Adrian Hey]

Hello folks,

One odd thing I noticed is that the cpuTimePrecision on Windows
seems to be "hardwired" in the source code to 1000000000.

I don't know if this is supposed to be the same on all windows
platforms or if it depends on hardware, but it seems to be
wrong on my machine. At least getCPUTime always seems to
return a multiple of 125000000 (1/8 of cpuTimePrecision).

Regards
--
Adrian Hey