package body Reps.IO is
package Txt_Rep_IO is new Ada.Text_IO.Float_IO(Rep);
procedure Txt_Get(F: in File_Type; R: out Rep) is
begin
Txt_Rep_IO.Get(File=>F, Item=>R, Width=>0);
end Txt_Get;
procedure Txt_Put(F: in File_Type; R: in Rep) is
begin
Txt_Rep_IO.Put(File=>F, Item=>R, Aft=>17, Exp=>4);
end Txt_Put;
end Reps.IO;