RDR = sext32(int32_t(RS1) % int32_t(RS2));