[Bug 35948] Starcraft Campaign Editor displays incorrect numeric values when editing triggers