printf "%.11e\n", 0.99982928833123; # 9.99829288331e-001