Not to be pedantic, but one of the author's own examples involves pi inverse, so I think discussing FP numbers is valid.

Yes I know, but in the context of Pony, 1/0==0 only applies to integers, not FP numbers. The article doesn't make it clear.

floating point numbers in Pony follow the standard and return Infinity for division by zero. integer division by zero is undefined behavior and something each programming language has to decide how to handle.

The article mentions floating point numbers as well, and the same applies to integers anyway. Only used FP numbers for emphasis.