well I can hold somewhat arbitrarily large integers in memory with the ackermann function, for instance.

If I've read between the lines correctly, your point is that N bits allows you to represent 2^N values, but they don't have to be the values from 0 to 2^N.

yes, sorry for being terse.