[Python-Dev] Subsecond time stamps