Ok, I have a better fix, ignore the last ones!
In /wp-content/plugins/disqus-comments/system/disqus.php, go to line 693 (or somewhere near there) and find:
// Mark entries in index to replace comments link.
function dsq_comments_number($count) {
global $post;
if ( dsq_can_replace() ) {
return '<span class="dsq-postid" rel="'.htmlspecialchars(dsq_identifier_for_post($post)).'">'.$count.'</span>';
} else {
return $count;
}
}
And replace it with:
// Mark entries in index to replace comments link.
function dsq_comments_number($count) {
global $post;
return $count;
}
And to be safe, find the function that starts with:
function dsq_comments_text($comment_text) {
And replace it with:
function dsq_comments_text($comment_text) {
global $post;
$number_of_comments = get_comments_number();
return $number_of_comments;
}
The problem seems to be in funciton dsq_comments_number, it was returning a bunch of html to format and label the comments which would obviously break WordPress's built-in number formatting, even if it was converted to a double.