[Bash]awk文件内浮点数 整形比较的坑

• 背景
  文件1内容如果有浮点数列为$1
  之后和10比较

awk -F'\t' '{
  if ($1 < 10) {
    print $0
  }
}'

例如6.58和10，最终不会输出，究其原因可能是将$1转换字符串

• 如何处理

awk -F'\t' '{
  if ($1 * 1.0 < 10.0) {
    print $0
  }
}'

需要给$1 * 1.0 转换