typedef char float[5];

char *atof(f, s)
char *f, *s;
{
 static char *a, *b;
 a = f; b = s;
 if (*s == '+' || *s == '-') b++;
 if (!isdigit(*b) && *b != '.') return NULL;
 if (*b == '.' && !isdigit(*(b + 1))) return NULL;
 inline(175, 42, &b, 1, 0, 0, 237, 177, 43, 54, 255, 42, 93);
 inline(92, 229, 42, &b, 34, 93, 92, 223, 205, 184, 44, 225);
 inline(34, 93, 92);
 if (*s == '-') inline(239, 27, 56);
 inline(239, 2, 56, 42, 101, 92, 237, 91, &a, 1, 5, 0, 237);
 inline(176, 62, 255, 42, &b, 1, 0, 0, 237, 177, 43, 54, 0);
 return f;
}

char *ftoa(n) auto
{
 int c, *v;
 static char *a, *b;
 static int i;
 c = n / 2 - 1;
 v = &n + c;
 a = cast (char_ptr) *v--; b = cast (char_ptr) *v--; i = *v;
 if (c == 3)
  inline(58, &i, 205, 40, 45, 239, 164, 1, 6, 49, 56);
 inline(42, &b, 205, 180, 51);
 if (c == 3) inline(239, 4, 162, 15, 39, 1, 5, 56);
 inline(239, 46, 56, 205, 241, 43, 42, &a, 235, 237, 176, 235);
 inline(54, 0, 205, 176, 22);
 if (c != 3 || i == 0) return a;
 while (*a != '.' && *a) a++;
 if (!*a) *a++ = '.'; else while (*++a) i--;
 while (i-- > 0) *a++ = '0';
 *a = '\0';
 return *(&n + c);
}

char *itof(f, n)
char *f;
{
 static char *a;
 static int i;
 a = f; i = n;
 inline(237, 75, &i, 205, 43, 45, 239, 2, 56, 42, 101, 92);
 inline(237, 91, &a, 1, 5, 0, 237, 176);
 return f;
}

ftoi(f)
char *f;
{
 static char *a;
 static int i;
 a = f;
 inline(42, &a, 205, 180, 51, 205, 162, 45, 237, 67, &i);
 return i;
}

flcmp(a, b)
char *a, *b;
{
 static char *c, *d;
 static int i;
 c = a; d = b;
 inline(42, &c, 205, 180, 51, 42, &d, 205, 180, 51, 6, 14);
 inline(239, 59, 2, 56, 42, 101, 92, 35, 35, 126, 50, &i);
 if (i) return 0;
 inline(42, &c, 205, 180, 51, 42, &d, 205, 180, 51, 6, 12);
 inline(239, 59, 2, 56, 42, 101, 92, 35, 35, 126, 50, &i);
 if (i) return 1;
 return -1;
}

char *add(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 15);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *sub(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 3);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *mul(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 4);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *div(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 5);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *sin(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 31, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *cos(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 32, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *tan(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 33, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *asin(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 34, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *acos(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 35, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *atan(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 36, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *atan2(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 5);
 inline(36, 2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237);
 inline(176);
 return a;
}

char *sinh(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 38, 49, 161, 1, 5, 3, 161);
 inline(161, 15, 5, 2, 56, 42, 101, 92, 237, 91, &c, 1, 5, 0);
 inline(237, 176);
 return a;
}

char *cosh(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 38, 49, 161, 1, 5, 15, 161);
 inline(161, 15, 5, 2, 56, 42, 101, 92, 237, 91, &c, 1, 5, 0);
 inline(237, 176);
 return a;
}

char *tanh(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 49, 38, 49, 161, 1, 5, 3);
 inline(1, 38, 49, 161, 1, 5, 15, 5, 2, 56, 42, 101, 92, 237);
 inline(91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *exp(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 38, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *log(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 37, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *log10(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 37, 164, 37, 5, 2, 56, 42);
 inline(101, 92, 237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *pow(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 6);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *sqrt(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 40, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *ceil(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 49, 49, 39, 14, 0, 4, 161);
 inline(15, 39, 2, 56, 42, 101, 92, 237, 91, &c, 1, 5, 0, 237);
 inline(176);
 return a;
}

char *floor(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 39, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *fabs(a, b)
char *a, *b;
{
 static char *c, *d;
 c = a; d = b;
 inline(42, &d, 205, 180, 51, 239, 42, 2, 56, 42, 101, 92);
 inline(237, 91, &c, 1, 5, 0, 237, 176);
 return a;
}

char *ldexp(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 239, 161);
 inline(161, 15, 1, 6, 4, 2, 56, 42, 101, 92, 237, 91, &d, 1);
 inline(5, 0, 237, 176);
 return a;
}

char *frexp(a, b, c)
char *a, *b;
int *c;
{
 static char *d, *e;
 static int f = 0;
 d = a; e = b;
 inline(42, &e, 205, 180, 51, 239, 49, 160, 14, 0, 33, 49, 42);
 inline(37, 161, 161, 15, 37, 5, 161, 15, 39, 56, 42, 101, 92);
 inline(43, 43, 126, 50, &f + 1, 43, 126, 50, &f, 239, 161);
 inline(161, 15, 1, 6, 5, 2, 56, 42, 101, 92, 237, 91, &d, 1);
 inline(5, 0, 237, 176);
 *c = f;
 return a;
}

char *modf(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 239, 49, 58, 49, 2, 56, 42, 101);
 inline(92, 237, 91, &f, 1, 5, 0, 237, 176, 239, 3, 2, 56, 42);
 inline(101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}

char *fmod(a, b, c)
char *a, *b, *c;
{
 static char *d, *e, *f;
 d = a; e = b; f = c;
 inline(42, &e, 205, 180, 51, 42, &f, 205, 180, 51, 42, &e);
 inline(205, 180, 51, 42, &f, 205, 180, 51, 239, 5, 58, 4, 3);
 inline(2, 56, 42, 101, 92, 237, 91, &d, 1, 5, 0, 237, 176);
 return a;
}