1 package Nested_Float_Packed is
3 type Float_Type is record
8 type Data_Type is record
12 Default_Data : constant Data_Type :=
13 (Data => (Value => 1.0, Valid => False));
15 type Range_Type is (RV1, RV2, RV3);
16 for Range_Type use (1, 2, 3);
18 Data_Block : array (Range_Type)
19 of Data_Type := (others => Default_Data);