don't do Integer autoboxing on a field that can only be an int