so this is only hit when the Float64Index is non-monotonic and non-unique?