[Python-Dev] Enum is really serializable using json?