Multiplying Mixed Integers