Pragma wrote: > I gather this means that we'll also see a t.max_negative to go along with it? I was going to suggest this, but then considered that min_positive could also be defined for integer types, while max_negative has no good definition for the unsigned variants.