make all server id into integer when parsing JSON