Ada Programming/Libraries/Ada.Text IO.Integer IO