o some explanation of the math in isqrt