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.

Seems logical to me.