Improve documentation for unreachable

Fixes #18876
This should be `return i-1` for the result to be `x/3`. Also, the logic works only for `x >= 0`, so I'd suggest adapting this code to use unsigned types, to simplify things. And I think the overflow check is superfluous.