Convert deployment count to an integer

[#81994350]
I dunno, maybe it is crazy -- I thought I'd symbolize cause we were doing it in some of the custom serialization stuff above . . . but it really doesn't matter since it's getting converted to json a few milliseconds later anyway.