printf "%.20f\n", 3.63797880709171e-012;