Real division by zero

Official Description

6.7.2.2 A term of the form x/y is an error if y is zero.

Simplified Description

In other words, for real division, it is an error if the denominator is zero.

Error Handling

This error is always reported.