extern int Float_Init2(int a, int b);
int Bignum_TrimLeaf(int *p)
{
  return Float_Init2(p[21], *(short *)((char *)p + 14));
}