Integer division by zero

Official Description

6.7.2.2 A term of the form i div j is an error if j is zero.

Simplified Description

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

Error Handling

This error is always reported.