/* converts an integer to a "floating point byte", represented as (eeeeexxx), where the real value is (1xxx) * 2^(eeeee - 1) if eeeee != 0 and (xxx) otherwise.  */
int luaO_int2fb(unsigned int x)
/* converts an integer to a "floating point byte", represented as (eeeeexxx), where the real value is (1xxx) * 2^(eeeee - 1) if eeeee != 0 and (xxx) otherwise.  */
int luaO_int2fb(unsigned int x)
{
    x = (x + 0xf) >> 4;
    e += 4;
  }
  while (x >= (8 << 1)) {
    x = (x + 1) >> 1;
    e++;
  }
  return ((e+1) << 3) | (cast_int(x) - 8);
}