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