Function lean_py_to_float

LeanPy/native/python_bridge.c:581–586

    if (r < 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(r ? 1 : 0));
}

LEAN_EXPORT lean_obj_res lean_py_to_int64(b_lean_obj_arg p, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    long long v = p_PyLong_AsLongLong(unwrap_pyobject(p));
    if (v == -1 && p_PyErr_Occurred()) return raise_py_error();
    return lean_io_result_mk_ok(lean_int64_to_int((int64_t) v));
}