I am a tad concerned about a recursive version of the binary search. As recursive calls typically screw up the runtimes optimizations.