/* Convert a number object to a string, adding it to a buffer  */
static int tostringbuff(TValue *obj, char *buff)
/* Convert a number object to a string, adding it to a buffer  */
static int tostringbuff(TValue *obj, char *buff)
{
    len = lua_number2str(buff, MAXNUMBER2STR, fltvalue(obj));
    if (buff[strspn(buff, "-0123456789")] == '\0') {
      buff[len++] = lua_getlocaledecpoint();
      buff[len++] = '0';
    }
  }
  return len;
}