coerce to int the output of integer multiply in all cases