An Android Preference to pick an integer value via the Number Picker widget.