Possible Bug in BigDecimal or BigInteger with serialization