[dnautics]

I think the correct answer is (0,inf) which is a value you can get by dropping to a lower resolution within the same unum environment.

[tromp]

Ah, that makes sense. The 4-bit representations do not suffice by themselves, but imply the support of some or all of the smaller representations as well, and I guess you always need a representation for [-inf,inf].