printf("%.16e", sqrt(2.0));