I suppose these numbers reflect some flags?

something like:

2^3 for negative

2^2 for special value

2^4 for infinity

couldn't find explanation in the docs.

> decided they all looked somewhat flakey,

agreed, but shouldn't we try to fix it.

Don't you think the algorithm I used is a valid use case? (non-reachable integer)