I think my favorite part of that comment is "documenting" that 10^(-15) is not negative by appealing to Wolfram Alpha.