doubleprintorsetwidth
static void doubleprintorsetwidth(VAR *, double, int, enum mode);
doubleprintorsetwidth(v, dbl, (dbl >= 99.95) ? 0 : 1, mode);
doubleprintorsetwidth(v, getpmem(k), 1, mode);