関連ワード:  python cast to int round down    does casting to int round down python  
結果 : python cast to int round down