GWT获取用户本地小数分隔符char

如何从GWT获取用户本地小数分隔符.我找到了NumberFormat实用程序,它只返回整个格式并提供解析.

NumberFormat.getDecimalFormat()...

是否有(简单)方法从小数格式获取小数分隔符,千位分隔符.

import com.google.gwt.i18n.client.LocaleInfo;

String decimalSeparator = LocaleInfo.getCurrentLocale().getNumberConstants().decimalSeparator();
String thousandSeparator = LocaleInfo.getCurrentLocale().getNumberConstants().groupingSeparator();