What would be a condition where `result` is negative, but bytes are `positive`? Why should we not fail at it?