  $ha = hexfmt($a);
  $hx = hexfmt($x);
  $hi = hexfmt($i);
  $nhi = hexfmt(-$i);

