結果 : python cast number to enum