sqrt(2) to 1000 digits