BTW, I recently opened an RFC (the way substantial changes to ponylang are introduced and discussed publicly) that introduces partial versions of basic arithmetic operators. The partial division is going to error on division by zero. This would allow the programmer to chose between what kind of behavior is most desirable for the use case.
https://github.com/ponylang/rfcs/blob/partial-arithmetic/tex...