with Text_IO; use Text_IO;

     package FloaAK is
     ----------------------------------------------------------------------
     ----------------------------------------------------------------------

     ----------------------------------------------------------------------
     -- Float (instantiating Text_IO sub-programs)
     ----------------------------------------------------------------------

     package Float_IO is new Text_IO.Float_IO ( float );

     procedure Get (
       Item  :    out float;
       Width : in     Field := 0 )
       renames Float_IO.Get;

     procedure Get (
       File  : in     File_Type;
       Item  :    out float;
       Width : in     Field := 0 )
       renames Float_IO.Get;

     procedure Get (
       From  : in     string;
       Item  :    out float;
       Last  :    out positive )
       renames Float_IO.Get;

     procedure Put (
       Item  : in     float;
       Fore  : in     Text_IO.Field := Float_IO.Default_Fore;
       Aft   : in     Text_IO.Field := Float_IO.Default_Aft;
       Exp   : in     Text_IO.Field := Float_IO.Default_Exp )
       renames Float_IO.Put;

     procedure Put (
       File  : in     File_Type;
       Item  : in     float;
       Fore  : in     Text_IO.Field := Float_IO.Default_Fore;
       Aft   : in     Text_IO.Field := Float_IO.Default_Aft;
       Exp   : in     Text_IO.Field := Float_IO.Default_Exp )
       renames Float_IO.Put;

     ----------------------------------------------------------------------
     -- Float (unique sub-programs)
     ----------------------------------------------------------------------

     function  Ask (
       Prompt    :  string        := "";
       Default   :  float         := 0.0;
       Minimum   :  float         := - float'safe_large;
       Maximum   :  float         := + float'safe_large;
       Fore      :  Text_IO.Field := Float_IO.Default_Fore;
       Aft       :  Text_IO.Field := Float_IO.Default_Aft;
       Exp       :  Text_IO.Field := Float_IO.Default_Exp )
       return float;
     -- Note:  default value feature for Ask requires string float input
     --   and conversion.

     procedure Put_Line (
       Item  : in     float;
       Fore  : in     Text_IO.Field := Float_IO.Default_Fore;
       Aft   : in     Text_IO.Field := Float_IO.Default_Aft;
       Exp   : in     Text_IO.Field := Float_IO.Default_Exp );

     procedure Put_Line (
       File  : in     File_Type;
       Item  : in     float;
       Fore  : in     Text_IO.Field := Float_IO.Default_Fore;
       Aft   : in     Text_IO.Field := Float_IO.Default_Aft;
       Exp   : in     Text_IO.Field := Float_IO.Default_Exp );

     function Value (
       From  : string )
       return float;

     ----------------------------------------------------------------------
     ----------------------------------------------------------------------
     end FloaAK;