with integer_io;

package body Standard_Integer_Numbers_io is

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

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

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

end Standard_Integer_Numbers_io;