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 branc

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.