関連ワード:  python cast float to int round up    python convert float to int round down  
結果 : python cast float to int round up