[Numpy-discussion] unique() should return a sorted array