Regarding 7.12.1 para 2,
which says that if bothThe purpose of this document is to initiate a formal potential defect report to request that
errnoand fp exceptions are used, and if a domain error occurs, then
EDOMand the fp exception is
FE_DIVBYZEROcan also be acceptable here.