A rest length separates total extension from excess stretch. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Rest length is not the same as extension
The tether extension is 6 metres, while the rest length is 4 metres.