Add number widget.

From #83.