while 1=1do
Printf.printf"%.3f
"(abs_float(read_float())*.6.28318)done