Python datetime microseconds 7 digits. Is this an OS issue? I'm on Win7x...