> > precision 3 min <integer_cst -4> max <integer_cst 3>>
>
> You'll note we actually created a new type for this :)
Indeed, and I think we also have that in Ada, my confusion.
Actually, I don't think we do and I recall a discussion a few weeks
ago that it would be incorrect Ada semantics to do it. But we could
(and don't) use it for binary modular types.
