1package body Sqrt is 2 3 function Isqrt(N: Natural) return Natural 4 is 5 R: Natural; 6 begin 7 R := 0; 8 loop 9 --# assert R * R <= N; 10 exit when N - R * R < 2 * R + 1; 11 R := R + 1; 12 end loop; 13 return R; 14 end Isqrt; 15 16end Sqrt; 17