printf "% 25.17g\n", 1.9041105342991877e+258;;
  1.9041105342991886e+258