with Text_Io;use Text_Io;
procedure test is
begin
put("0.0");
end test;