ACATS 3.0 User's Guide
D.2.3 Floating Point Overflow
Consider the declaration
type F is digits System.Max_Digits;
If F'Machine_Overflows
= False and 2.0*F'Machine_Radix**F'Machine_EMax <= F'Base'Last
then the test contained in the following file should report NOT_APPLICABLE
(if it compiles without error):
