A backport of the Android 4.2 NumberPicker.