A controller gain creates a command from the checked error. 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 controller input is the error
The checked error is 2 volts before the controller multiplies it.