『古典的バイナリサーチアルゴリズムにバグ』(中村正三郎のHot Corner)経由で，"Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken"(Google Research). 確かにoverflowの可能性がある…