Document misc/binary_search_integer, misc/binary_search_real