Add binary_search functions.