[python-win32] File Time: win32file vs Python ?

[Robert]

 >>> os.path.getmtime('x.txt')
1193160881
 >>> int(win32file.GetFileAttributesExW('x.txt')[-2])
1193153681
 >>> int(win32file.GetFileAttributesExW('x.txt')[-2]) - 
os.path.getmtime('x.txt')
-7200

(Win XP)
is this a bug, or is there a issue with timezones/summer time? 
aren't time.time() values absolute?

R