Function rem 

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

a % b taking the dividend’s sign, as the VM’s Mod on two Ints.