Convert deployment count to an integer

[#81994350]