int sqrt(x)