BOY: TextInput should write int[] instead of Integer[] to PV