awk/bugs-fixed/numeric-rs.bad