Fix 64-bit smi division.