Implement `mySqrt(x)` returning the floor of the square root of a non-negative integer `x`, computed with binary search.
Run your code to see results.