extern void Float_Round(int *a, int *b);
extern int Float_FromDouble(int *a, int *b);
int Float_Cos2(int a, int b)
{
  unsigned int t[4];
  unsigned int u[4];
  int f1;
  int f2;
  Float_Round(&a, (int *)t);
  Float_Round(&b, (int *)u);
  f1 = (t[0] <= 1);
  if (f1 != 0) {
    return -1;
  }
  f2 = (u[0] <= 1);
  if (f2 == 0) {
    return Float_FromDouble((int *)t, (int *)u);
  }
  return -1;
}