merge: binary search in rank([..])