Printf.printf"%.15g"(0.5**54.)