An example with a reverse-sorted Array. Note that the eight elements of this Array are indexed with the numbers up to .
By supplying for f, we get BinaryPlace to understand the reverse ordering.
We find that the elements up to are the positive ones, up to are negative.