pub fn floor(x: impl IntoExpr) -> Result<Expr>
x rounded down (C++ floor, prim.floor).
x
floor
prim.floor