while 1=1do Printf.printf"%.1f
"(read_float()*.57.2957)done