Returns are incomplete and the lead has gone back and forth, but as of 9:07 p.m., President Barack Obama holds a 6,437-vote lead over Mitt Romney out of more than 6.6 million votes cast in Florida. Libertarian nominee Gary Johnson — a former Republican governor of New Mexico and a failed GOP presidential contender during this year’s primaries — had 34,302 votes.

If Romney ends up losing Florida by a smaller margin than Johnson’s total, it will undoubtedly bring memories of liberal activist Ralph Nader‘s 2000 candidacy as the Green Party presidential nominee. George W. Bush won Florida, and the White House, my a mere 537 votes over Democrat Al Gore. While Democrats fumed at the Butterfly Ballot and the Supreme Court’s Bush vs. Gore decision, many of them also blamed Gore’s loss on Nader, who got 97,488 votes in Florida that year.