INTEGER_IO is a generic package defined within the package TEXT_
    IO. You use it to input and output integers to and from a text
    file, or interactively with a terminal. You instantiate it with
    one generic parameter, NUM, which defines the integer type upon
    which the procedures and functions will operate. For example, if
    you defined the following type

    type MY_INT is new INTEGER range 0 .. INTEGER'LAST;

    you would need two instantiations of INTEGER_IO if numbers of
    both types MY_INT and INTEGER were to be used for input-output.
    For example:

    package MY_INT_IO is new TEXT_IO.INTEGER_IO(NUM => MY_INT);
    package INT_IO    is new TEXT_IO.INTEGER_IO(NUM => INTEGER);

  Additional Information (explode) :

• GET
• PUT