This reminds me of a bug in Mathematica from back in the late '90: there was a whole class of sums that Mathematica said were negative, even though each term in

This reminds me of a bug in Mathematica from back in the late '90: there was a whole class of sums that Mathematica said were negative, even though each term in the sum was strictly positive! "Carry problem", my ass.