Explicit conversion in serialization