[salutis]

Meanwhile, in Lua:

  $ lua
  Lua 5.4.7  Copyright (C) 1994-2024 Lua.org, PUC-Rio
  > 0/0
  nan
  > 1/0
  inf

[rurban]

This is more sound than 0.

But pony wants to avoid exceptions in all cases to guarantee progress, and nan and inf cannot be computed on. /0 needs special branches to be handled by the user, not the compiler.

[byteknight]

Seems logical to me.