Integer field widget.