Binary Search for the point where the termination condition becomes true

I know it's a `cdef double` but 0.0 and 1.0 would be more explicit :P