Function div 

pub fn div(b: &mut Builder, x: &Mw, y: &Mw) -> Mw

a ÷ b. A zero divisor yields the IEEE result (∞, or NaN for 0 ÷ 0); the VM’s failure there is the cell’s divergence, reported beside this value.