The ion's internal bit and packet index share one source. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The same ledger carries internal state and motion
The readout state is bright, pinned as bit 1, on the same checked trap source.
breadout=1
The motion packet remains part of that source
The same source also carries packet index 2 and motional energy 4 joules.