Previously, the Currency type was marshalled as a JSON number.
This caused the value to be cast to a double when the JSON was
parsed by JavaScript.