Fixed totally bogus conversion factors used in the Win32 version of
os.times().
1 file changed