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