I'm not completely sure actually. My recent impression was that `shared(int)`s could be manipulated like normal integers just fine (which is bad). But since someone might do more complex things than reading/writing that field it's technically still an API break, so I'll change it to use casts.