The Gross Domestic Product (GDP) of Florida in 2010 was $748 billion. What was Florida's GDP in 2010