snprintf_num
snprintf_num(U64, sb1, ctx->uvals[i]);
snprintf_num(S64, sb2, ctx->svals[i]);
snprintf_num(U32, sb1, ctx->usubvals[i]);
snprintf_num(S32, sb2, ctx->ssubvals[i]);
return snprintf_num(t, sb, x.a);
snprintf_num(t, sb, x.a);
snprintf_num(t, sb, x.b);