Implement reasonable __str__() conversion for temporenc.Value