use bash defaults; use bash numeric if