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