value_to_string and to_python for serialization