Based on page 9, pretty sure you are correct. Whether it's an underflow or a sign flip due to negative multiplying by negative, either way it's resulting in a buff. I'm sure the author will explain the math somewhere in this chapter, so looking forward to that.
Thanks @Oracle39 for picking this...