Use Whiley.lang.Math.isqrt to estimate the sqrt of an integer.