Re: [Python-Dev] proposal: add basic time type to the standard library