- integer-sqrtprocedure
For non-negative integer n returns the largest integer whose square is less than or equal to n; otherwise signals an error.
For non-negative integer n returns the largest integer whose square is less than or equal to n; otherwise signals an error.