algo4: binarysearch: Divide two integers