{ my $q   = $result & 0xFFFF_FFFF ;
    $result = $q <= 0x7FFF_FFFF ? $q : -1 - ($q ^ 0xFFFF_FFFF) ;
  } ;