extern void Float_ParseIEEE(int *, int *);
extern int Float_FromIEEE754(int *);
int Float_Abs(int x, int y)
{
  int buf[7];
  buf[5] = x;
  buf[6] = y;
  Float_ParseIEEE(&buf[5], buf);
  buf[1] = (buf[1] == 0);
  return Float_FromIEEE754(buf);
}