関連ワード:  python does int round down    python does int round down or up    python does int always round down    python does integer division round down    python int round down    python int round down or up    does casting to int round down python    does the int function in python round down    why does python round down