This function returns the square root of number n.
n
sqrt::=
The number n must be ≥0.
SELECT SQRT(2);