/* @value: value to be printed @prec: minimum number of digits to display @buf: pointer to buffer address on return position of terminating zero word  */
static void int2dec(s32 value, int prec, u16 **buf)
/* @value: value to be printed @prec: minimum number of digits to display @buf: pointer to buffer address on return position of terminating zero word  */
static void int2dec(s32 value, int prec, u16 **buf)
{
	u32 u;
	u16 *pos = *buf;
	if (value < 0) {
		*pos++ = '-';
		u = -value;
	} else {
		u = value;
	}
	uint2dec(u, prec, &pos);
	*buf = pos;
}