Teachers of New York City

How many teachers work in New York City’s public schools?