/* OUCH prices are integers, with four implicit decimal places. So we insert the decimal point, and add a leading dollar sign as well.  */
static void format_price(char *buf, guint32 value)
/* OUCH prices are integers, with four implicit decimal places. So we insert the decimal point, and add a leading dollar sign as well.  */
static void format_price(char *buf, guint32 value)
{
    if (value == 0x7fffffff) {
        g_snprintf(buf, ITEM_LABEL_LENGTH, "%s", "Market");
    } else {
        g_snprintf(buf, ITEM_LABEL_LENGTH,
                   "$%u.%04u",
                   value / 10000, value % 10000);
    }
}