Remainder: set t1 to the remainder of t2/t3 using only the lower 32 bits (64bit)