fixup! More bit friendly decodeIAID and decodeInteger