Function lean_py_of_string

LeanPy/native/python_bridge.c:501–506

        /* big int: stringify via Lean would be ideal; for now reject. */
        return raise_io_error("LeanPy: Int out of int64 range not supported");
    }
    return ok_owned_or_err(p_PyLong_FromLongLong(v));
}

LEAN_EXPORT lean_obj_res lean_py_of_float(double f, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return ok_owned_or_err(p_PyFloat_FromDouble(f));
}