That would still require support for arbitrary-sized ints, right? In cases of `Uint<4>`.