Range clipping is a separate checked contract from in-range ADC coding. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Over-range input clips to the max code
Input 10 volts clips to 8 volts and code 7.
10V→8V,code=7
The upper endpoint also routes through clipping
The half-open ADC range rejects input exactly at 8 volts, so the clip rule assigns max code.
8V→code 7
Under-range input clips to code zero
Input negative 1 volt clips to 0 volts and code 0.