exact-integer-sqrt

[procedure] exact-integer-sqrt k

R6RS: Returns two non-negative exact integers s and r, where

  k = s^2 + r

and

  k < (s+1)^2

See also sqrt.