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