Function sub 

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

a − b, faulting where the VM promotes.