binary search is slightly faster with int()