Re: [Python-ideas] Proposal: making __str__ count in time's class