Comment by remon

Ah thanks for the insights and references. And yes I'm still curious why this definition of div/0==0 is needed in the context of Flix