Use BigDecimals in serialization