Add Oct.mergeSort()