Function floordiv

pub fn floordiv(a: impl Operand, b: impl Operand) -> Result<Expr>

a / b, rounding down, of two integers (C++ floordiv, prim._OpFloorDiv).