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