Should always be 0-255 as that fits an unsigned byte.
That's not what the article is about.
> assume that in both cases the output values are clamped before the final typecast
That's not what the article is about.