Adding conversion for JSON serialization of decimals.