Make division by zero legal

[Peng Yu]

Hi,

https://en.wikipedia.org/wiki/Division_by_zero

The above page says.

"The IEEE floating-point standard, supported by almost all modern
floating-point units, specifies that every floating-point arithmetic
operation, including division by zero, has a well-defined result. The
standard supports signed zero, as well as infinity and NaN (not a
number)."

$ awk -e '{print 1/0 }'
awk: cmd. line:1: error: division by zero attempted

But awk does not treat the above division as legal. Should this be
changed so that it gives less surprising results?

In the meantime, what is the best walkaround to get awk conformed to
the IEEE standard?

-- 
Regards,
Peng