That's a neat idea. We'll have to carefully consider the ramifications, since we wouldn't want an "innocent" divide by 0 to cause a reset in a critical process. But I like that we can give strict guarantees about what happens in case of divide by 0.

I noticed we also have some parameters we can set vis-a-vis NaNs in the FPU engine.