Re: BigDecimal Bug in MonetDB JDBC Driver