On 8 Jan 2010, at 16:39, hendrik at topoi.pooq.com wrote: >> I sense confusion here... >> >> INTEGER is not a subrange type. > > The question is not whether it is a subrange type. It isn't. > The question is whether it could be. I think that would result in major contradictions in the type system.