Fix 32-bit div64/mod64