2013/06/28 14:09:45
Update binary search: use one with less branching.
