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