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