printf "%.11e\n", 0.999;
# 9.9980000000e-001