A finite wavefunction assigns amplitudes to positions before it gives probabilities. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A wavefunction assigns amplitudes
The left bin has amplitude 3/5 and the right bin has amplitude 4/5. The amplitudes, not the bars, are the state.
ψ=53∣L⟩+54∣R⟩
Each amplitude row squares into a probability row
The scan keeps the amplitude value and its squared probability in the same row.