結果 : python int cast default