結果 : python cast integer to enum