sqrt(3) to 10^3 digits