Turns out the test case for addBig was wrong.

I verified each step of the math using Sage. This turned out to be
correct. I then discovered that I used the wrong Y coordinate in the
test case input.