What about division?

If we divide by zero, one way to handle it is just return bottom ⊥.

Then, we exit to program.