BigDecimal-Konverter umbenannt und double-Konverter als deprecated zurückgeholt.