Using awk to do floating point comparisons