Do a ``double'' binary search.