“At its creation in 1974, the Florida state pension fund had a funded ratio of approximately 45%.”