TextBox is for editing String (it's a IsEditor<LeafValueEditor<String>>), use an IntegerBox for Integers (IsEditor<LeafValueEditor<Integer>>).
(and this group is for contributors to GWT, use http://groups.google.com/group/google-web-toolkit for support questions) -- http://groups.google.com/group/Google-Web-Toolkit-Contributors