temp workaround BigDecimal division issue [Bug #9316]