Next: RM 3 5 5 8 Enumeration Values, Previous: RM 3 5 4 28 Integer Types, Up: Implementation Advice
"An implementation for a two's complement machine should support modular types with a binary modulus up to System.Max_Int*2+2. An implementation should support a non-binary modules up to Integer'Last."
System.Max_Int*2+2
Followed.