Деление на нуль: Неопределенное Поведение или Реализация, Определенная в C и/или C++?

Относительно деления на нуль говорится в стандартах:

C99 6.5.5p5 - результатом / оператор является частное от подразделения первого операнда вторым; результатом оператора % является остаток. В обеих операциях, если значение второго операнда является нулем, поведение не определено.

C++ 03 5.6.4 - двоичный файл / оператор приводит к частному, и двоичный оператор % приводит к остатку от подразделения первого выражения вторым. Если второй операнд / или % является нулем, поведение не определено.

Если мы должны были взять вышеупомянутые абзацы по номиналу, ответом является явно Неопределенное Поведение для обоих языков. Однако, если мы смотрим далее вниз в стандарте C99, мы видим следующий параграф, который, кажется, противоречащий (1):

C99 7.12p4 - макро-БЕСКОНЕЧНОСТЬ разворачивает до константного выражения плавания типа представление положительной или неподписанной бесконечности при наличии;

Стандарты имеют своего рода золотое правило, где Неопределенное Поведение не может быть заменено (потенциально) противоречащим оператором? Запрещая это, я не думаю, что неблагоразумно прийти к заключению, что, если Ваша реализация определяет макрос БЕСКОНЕЧНОСТИ, деление на нуль определяется, чтобы быть таким. Однако, если Ваша реализация не определяет такой макрос, поведение Не определено.

Мне любопытно, что согласие (если таковые имеются) по этому вопросу для каждого из этих двух языков. Был бы ответ изменяться, если мы говорим о целочисленном делении int i = 1 / 0 по сравнению с делением с плавающей точкой float i = 1.0 / 0.0 ?

Примечание (1) C++ 03 стандарта говорит о <cmath> библиотека, которая включает макрос БЕСКОНЕЧНОСТИ.