sqrt() binary search