BigDecimal bug patch