Correct JSON serialization with Decimal numbers