cast server id to int to be more consistent with the rest of the data