If the total vote count for all participants in Florida Senate General Election is above 7800000, then the market resolves to Yes.