12.2.80 division-by-zero [Condition Type] ¶
Class Precedence List:: ¶
division-by-zero,
arithmetic-error,
error,
serious-condition,
condition,
t
Description:: ¶
The type division-by-zero consists of error conditions that
occur because of division by zero.