Fix Smi multiplication for 64-bit.