require_fp;
FRD = (FRS1 &~ INT64_MIN) | ((~FRS2) & INT64_MIN);