other int division

I used http://www.java2s.com/Code/Python/Utility/Agrepliketoolthatlooksfordivisionoperators.htm to search for other instances of float division.

This change fixes the same function that I had fixed earlier by just casting to int afterwards in https://github.com/rmcgibbo/cvxpy/commit/ffe285ce78da9ef4c5b20cda52a20607cffd7c4c