Added functional binary search.