RM 3 5 4 29 Integer Types (GNAT Reference Manual)

Next: RM 3.5.5(8): Enumeration Values, Previous: RM 3.5.4(28): Integer Types, Up: Implementation Advice [Contents][Index]

6.8 RM 3.5.4(29): Integer Types ¶

"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."

Followed.