Pony core team member here. In some domains it might be. In others it might not. It's no more right or wrong in my mind. I think the size of the integer needs

Pony core team member here. In some domains it might be. In others it might not. It's no more right or wrong in my mind. I think the size of the integer needs to be considered in your thinking as well: If you have unsigned 8 bit integers, the max value is 255, is that really going seem NaN? How about 127 for a signed 8 bit integer? And, should the result of division by zero vary based on the bit size of the integer? That's a discussion unto itself.