with text_io ;

package integer_text_io is new text_io.integer_io (integer) ;