BigDecimal rounding issue #4 fixes