Readded min(int[], int[]) and max(int[], int[])