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