pub fn isfinite_at(x: impl IntoExpr, loc: impl Into<Location>) -> Result<Expr>
isfinite at loc.
isfinite
loc