No, the user-facing function is not supposed to raise, only the internal one, which then sends Expr.evalf() into fallback mode.