data.int.sqrt
sqrt n is the square root of an integer n. If n is not a perfect square, and is positive, it returns the largest k:ℤ such that k*k ≤ n. If it is negative, it returns 0. For example, sqrt 2 = 1 and sqrt 1 = 1 and sqrt (-1) = 0
sqrt n
n
k:ℤ
k*k ≤ n
sqrt 2 = 1
sqrt 1 = 1
sqrt (-1) = 0