introduce a shrink function for integers that effects binary search