add POSIX str_to_num() function to math.awk