Bits128 now has an API for reading out the bits as ints or uints