RC = sext32(RA * RB);