extern void Float_ParseIEEE(int *, int *);
extern void Float_Add(int *, int *, int *);
extern int Float_FromIEEE754(void);
int Float_Multiply(int a, int b, int c, int d)
{
  int buf[19];
  int *tmp;
  buf[15] = a;
  buf[16] = b;
  buf[17] = c;
  buf[18] = d;
  Float_ParseIEEE(&buf[15], buf);
  Float_ParseIEEE(&buf[17], tmp = &buf[5]);
  tmp[1] = tmp[1] ^ 1;
  Float_Add(buf, tmp, &buf[10]);
  return Float_FromIEEE754();
}