Question is, what should VRP do when the denum range contains 0 ?
I see 2 way forward:- 0 will fault, so not yield a result - hardware will fault. It can be ignored when doing VRP. - denum with 0 return a full range for division, union result's range while ignoring 0 and num range for remainder.
Doing 1/ for division and 2/ for remainder seems to be the best choice to me. Thought ?
