Awk, пытаясь НЕ делить на ноль

Question

Я пытаюсь разделить два поля (где иногда делитель может быть равен нулю) с Awk.

Я думал, что это будет работать: awk -F, '{if ($6 != 0) print $3/$6}' <some file>

Но он задыхается от fatal: division by zero attempted, хотя я думал, что условие "если" позаботилось не делить, если поле 6 равно нулю.

Что я пропускаю?

Answer 1

"bar"! = 0. Если $ 6 - строка, сравнение не выполняется, но при преобразовании в число для деления оно оценивается как ноль.Используйте

if( $6 + 0 != 0)

вместо.