Source? Official source?
St. Lucie County Supervisor of Elections Website plus I live in Florida and know for a fact that it was a two card ballot. slcelections.com is the website. If you look at the elections returns for President you will see about 124,000 votes were cast in that race which is consistent with about a 70% turnout.
Ravenstar