with text_io; use text_io; with Multprec_Integer_Numbers; use Multprec_Integer_Numbers; package Multprec_Integer_Numbers_io is -- DESCRIPTION : -- This package provides basic input/output routines for integer numbers -- of arbitrary length. procedure get ( lc : in out character; i : in out Integer_Number ); procedure get ( file : in file_type; lc : in out character; i : in out Integer_Number ); procedure get ( i : in out Integer_Number ); procedure get ( file : in file_type; i : in out Integer_Number ); -- DESCRIPTION : -- Reads a string of numbers and returns a natural number. -- The parameter lc is the leading character on entry. -- On return it is the last character read. procedure put ( i : in Integer_Number ); procedure put ( file : in file_type; i : in Integer_Number ); -- DESCRIPTION : -- Writes the number on Standard Output or on file. procedure put ( i : in Integer_Number; dp : in natural ); procedure put ( file : in file_type; i : in Integer_Number; dp : in natural ); -- DESCRIPTION : -- Writes the number on Standard Output or on file, using at least -- dp decimal places. If the number needs less space in its display, -- then blanks are added in front of the number. end Multprec_Integer_Numbers_io;