Function floor_div 

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

a // b rounding toward negative infinity, as the VM’s FloorDiv on two Ints.