More than $9 million spent on Florida ballot amendment this November