-- try to read in this number : 2.37151309632067E-27
with text_io;
package body Standard_Floating_Numbers_io is
package single_float_io is new text_io.float_io(single_float);
package double_float_io is new text_io.float_io(double_float);
procedure get ( f : in out single_float ) is
begin
single_float_io.get(f);
end get;
procedure get ( file : in file_type; f : in out single_float ) is
begin
single_float_io.get(file,f);
end get;
procedure get ( f : in out double_float ) is
begin
double_float_io.get(f);
end get;
procedure get ( file : in file_type; f : in out double_float ) is
begin
double_float_io.get(file,f);
end get;
procedure put ( f : in single_float ) is
begin
single_float_io.put(f);
end put;
procedure put ( file : in file_type; f : in single_float ) is
begin
single_float_io.put(file,f);
end put;
procedure put ( f : in double_float ) is
begin
double_float_io.put(f);
end put;
procedure put ( file : in file_type; f : in double_float ) is
begin
double_float_io.put(file,f);
end put;
procedure put ( f : in single_float; fore,aft,exp : in natural ) is
begin
single_float_io.put(f,fore,aft,exp);
end put;
procedure put ( f : in double_float; fore,aft,exp : in natural ) is
begin
double_float_io.put(f,fore,aft,exp);
end put;
procedure put ( file : in file_type;
f : in single_float; fore,aft,exp : in natural ) is
begin
single_float_io.put(file,f,fore,aft,exp);
end put;
procedure put ( file : in file_type;
f : in double_float; fore,aft,exp : in natural ) is
begin
double_float_io.put(file,f,fore,aft,exp);
end put;
procedure put ( f : in double_float; dp : in natural ) is
begin
double_float_io.put(f,dp,dp,dp);
end put;
procedure put ( file : in file_type;
f : in double_float; dp : in natural ) is
begin
double_float_io.put(file,f,dp,dp,dp);
end put;
end Standard_Floating_Numbers_io;