Another behaviour which it handles is chips with hardware guard bits. You might have some (inaccessible) bits of headroom (e.g. "(INTMAX + 1) / 2 > 0")