integer square root binary search