Bugzilla 663: explain that $spam_score and $spam_score_int may appear to disagree.