RC = sext32(uint32_t(RA)/uint32_t(RB));