n=100 \precision=2*n x1=floor((sqrt(5)+1)/2 * 10^(2*n)) \precision=n x2=floor(sqrt(3) * 10^n) \precision=15 x3=10^n+1 # 0 x1*x2 0 x1*x2 0 divres(x1,x2) 0 divres(x1,x2) 0 isqrt(x3) 0 isqrt(x3) 0 gcd(x1,x2) 0 gcd(x1,x2) 0