I can see your concerns. Do you think it would be beneficial to enable catching division by zero globally? Trapping that with a usage fault can be enabled by setting SCB_CCR->DIV_0_TRP.