An ideal detector rail caps the reported output. 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 affine output can exceed the rail
The unclipped output is 25.
Yraw=25
The rail sets the displayed output
The rail is 20, so the displayed output is 20. This is a hard limit, not a saturation curve.