sqrt(2) with 60 digits