RD = cmp_trunc(RS1) < cmp_trunc(RS2);