BinarySearch: better format.