Are you sure BigDecimal is available in GWT?