Support arbitrary-sized integers

[RalfJung]

So far we only support 16-bit integers. That's just laziness, I wanted to ensure that we handle endianess but not write the code for arbitrary-width handling.