More INTVAL_FMT printf formats