cfe-dev Digest, Vol 54, Issue 82

However, if the floating-point unit conforms to IEEE-754 (most chips these days do),
then fp div by zero is well defined by IEEE-754. C99 and C11 (via annex F) say that
'/' in C is '/' in IEEE-754 and send the reader of the standard to IEEE-754 to find
the semantics of '/'.