> why does at least 32 bits and unspecific representation not suffice? Because that doesn't help you. Static reasoning becomes harder. Dynamic checks (pretendi

> why does at least 32 bits and unspecific representation not suffice? Because that doesn't help you. Static reasoning becomes harder. Dynamic checks (pretending the exact size is unknown) are possible but .. the exact size is statically known (just not to the programmer). It is a waste. The sentiment is right, but the solution is metaprogramming, not unhelpfully underspecified types.