with integer_io;

package body Standard_Natural_Numbers_io is

  procedure get ( file : in file_type; n : in out natural ) is
  begin
    integer_io.get(file,n);
  end get;

  procedure put ( file : in file_type; n : in natural ) is
  begin
    integer_io.put(file,n,1);
  end put;

  procedure put ( file : in file_type; n,dp : in natural ) is
  begin
    integer_io.put(file,n,dp);
  end put;

end Standard_Natural_Numbers_io;