[stetrain]

A quick google says the proposed city library budget was $471.5 million and the total city budget is $107 billion.

That's less than half a percent of the overall budget.