-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
- Max_Nonbinary_Modulus : constant := Integer'Last;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
+ Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
Max_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;
-- System-Dependent Named Numbers
- Min_Int : constant := Long_Long_Integer'First;
- Max_Int : constant := Long_Long_Integer'Last;
+ Min_Int : constant := -2 ** (Standard'Max_Integer_Size - 1);
+ Max_Int : constant := 2 ** (Standard'Max_Integer_Size - 1) - 1;
- Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
+ Max_Binary_Modulus : constant := 2 ** Standard'Max_Integer_Size;
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
Max_Base_Digits : constant := Long_Long_Float'Digits;