extern int Float_Compare(int, int);
int Bignum_FreeDigits(int *out, int a, int b)
{
  if (b == 0) {
    return 0x08CA0494;
  }
  if (Float_Compare(b, 0x08CA0494) != 0) {
    if (Float_Compare(b, 0x08CA048C) != 0) {
      return 0;
    }
  }
  out[12] = a;
  out[13] = b;
  return 0x08CA0494;
}