A finite lifetime model starts as a count budget, not a decay curve. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Prepared shots split into two counted groups
Start with 80 prepared shots. The finite budget keeps 60 and loses 20.
Nprepared=80,Nretained=60,Nlost=20
The split must close before interpretation
The check requires retained plus lost to equal the prepared count: 60 plus 20 equals 80.