pe whose size in bytes is the
absolute value of the lower bound.  I believe this is a Convex
convention for 'long long'.  To distinguish this from a legitimate
subrange, the type should be a subrange of itself.  I'm not sure whether
this is the case for Convex.