binary search on interger key