Re: [Python-ideas] Optimizing list.sort() by checking type in advance