sqrt(2) with 1000 digits