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