At least on Linux, all values the tuple returned by
os.times() are bogus. The code always divides the
return value from the times() system call by HZ, but
according to the man page times(2) they are in clock
ticks. The man page adds:

NOTES
       The number of clock ticks per second can be
obtained using
              sysconf(_SC_CLK_TCK);
       In  POSIX-1996 the symbol CLK_TCK (defined in
<time.h>) is mentioned as
       obsolescent. It is obsolete now.

       [...]

       Note that clock(3) returns values of type
clock_t that are not measured
       in clock ticks but in CLOCKS_PER_SEC.