Fix int multiplication