printf "%.17e\n", 1.00000000000000040e+000;;
1.00000000000000040e+000

printf "%.17e\n", 5.00000000000100030e-016;;
5.00000000000100030e-016