Use integer for serverarray id, and add tests to ensure it