It's a conservative estimate that doesn't take into account what DeSantis spent in the final weeks of his campaign.