Fix extracting a BigDecimal from a JDouble value