This file does not implement a general-purpose binary search, right? I think that it should be given a slightly more specific name, to make this obvious.