sqrt(2) to 100 digits