awk/bugs-fixed/numeric-subsep.bad