Isn't there an `isqrt` function?