Subtraction: set t1 to (t2 minus t3) using only the lower 32 bits (64bit)