Extensible JSON serializers and deserializers.