Java ValueBox的数字格式<；双倍>；

我发现了一只奇怪的虫子。我有一个从

ValueBox

派生的类来显示数字。我使用

setStyleName（）为它添加了一些样式，使它更漂亮

它已经运行了一段时间了，但刚才我注意到一个奇怪的错误。如果我设置的值大于999，则显示为空白。
我发现如果我删除调用this.getElement（）.setAttribute（“type”，“number”）一切正常工作。
我怀疑问题在于超过999的值显示为1.000，这是不可接受的数字

它在Firefox中工作，但在Chrome/Chrome中失败。难怪Firefox会忽略type属性

所以有两种方法可以解决这个问题

让它作为一个数字被接受
更改格式以省去或更改分隔符
但是怎么做呢？
请提及您尝试过的浏览器版本，它在Firefox中也可以工作，但在Chrome/Chrome中失败。难怪Firefox会忽略type属性。为什么要使用.setAttribute（）？为什么不使用NumberFormat，这是GWT数字格式的标准方式呢？我想将type=number设置为在手机和平板电脑上弹出数字键盘，而不是全键盘。