[Python-ideas] Re: Add builtin function for min(max())