RC = sext32(int32_t(RA) % int32_t(RB));