+ Target_Double_Float_Alignment : Nat := Get_Double_Float_Alignment;
+ -- The default alignment of "double" floating-point types, i.e. floating
+ -- point types whose size is equal to 64 bits, or 0 if this alignment is
+ -- not specifically capped.
+
+ Target_Double_Scalar_Alignment : Nat := Get_Double_Scalar_Alignment;
+ -- The default alignment of "double" or larger scalar types, i.e. scalar
+ -- types whose size is greater or equal to 64 bits, or 0 if this alignment
+ -- is not specifically capped.
+