Florida Department of Revenue is a state agency of Florida concerned with taxes. It is headquartered in Tallahassee. From Wikipedia
County officials dispute the math, with Orange County’s comptroller saying he has seen no supporting detail.