.. code:: ada

   with Ada.Text_IO; use Ada.Text_IO;
   procedure Real_Types is
   
      Predefined_Floating_Point : constant Float := 0.0;
   
      type Floating_Point_Type is digits 8 range -1.0e10 .. 1.0e10;
      Floating_Point : Floating_Point_Type := 1.234e2;
   
   begin
   
      Put_Line (Integer'Image (Floating_Point_Type'Digits));
      Put_Line (Integer'Image (Floating_Point_Type'Base'Digits));
      Floating_Point := Floating_Point_Type'Succ (Floating_Point);
      Put_Line (Floating_Point_Type'Image (Floating_Point));
      Put_Line (Predefined_Floating_Point'Image);
   
   end Real_Types;
