Re: [Python-ideas] Optimizing builtins