The amount of credit purchased decreases the dollar amount of a district’s local revenue level for purposes of determining whether the district exceeds the level established under § 48.257.