The concept of a remainder in the case of division by zero is not meaningful. Therefore, we get an error message.
> 5 `mod` 0

Program error: {primModInt 5 0}