higher_equal and the widen bits

[Tom Rodriguez]

I was using higher_equal(TypeInt::POS) to identify positive values and came across a weird bug.  I have a type which is int:>=0:www but t->higher_equal(TypeInt::POS) returns false because they have differing widen bits.  Shouldn't the widen bits be ignored in the higher_equal tests or could that create monotonicity problems?  I've written it in a more explicit fashion but it makes me suspicious of our other uses of this idiom.

tom