6.23 RM 13.4(9-10): Enumeration Representation Clauses

"The recommended level of support for enumeration representation clauses is:

An implementation need not support enumeration representation clauses for boolean types, but should at minimum support the internal codes in the range System.Min_Int .. System.Max_Int."

Followed.