cpu_times() GetSystemTimes function double dword convert to __int64,t…

[stswandering]

cpu_times() GetSystemTimes function double dword convert to __int64,then double,instead of float.

[giampaolo]

So, I took those "weird" numbers from cPython source code (os.times() function):
https://github.com/python/cpython/blob/3b20d3454e8082e07dba93617793de5dc9237828/Modules/posixmodule.c#L7734
As such, I would kinda feel safer if we leave them in place instead of introducing a new conversion logic.
What happens if simply cast the numbers to double?
Something like (pseudo code):

        user = (double)((HI_T * sppi[i].UserTime.HighPart) +
                        (LO_T * sppi[i].UserTime.LowPart));
        ...
        Py_BuildValue("d", user);

[stswandering]

Cool! I have tried this method,it returns the same value. So, I change my pull request.

[giampaolo]

You also need to change this:

Py_BuildValue("(fff)", user, system, idle);

...to this:

Py_BuildValue("(ddd)", user, system, idle);

[stswandering]

Yeah,Sure! It's my fault.

[giampaolo]

LGTM. Merging. Thanks. ;)