VRP and division/remainder by 0

[deadalnix via Digitalmars-d]

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 ?