Function lean_py_of_float

LeanPy/native/python_bridge.c:496–499

    (void)world; ENSURE_INIT(); WITH_GIL();
    long long v;
    if (lean_is_scalar(n)) {
        v = (long long) lean_scalar_to_int64(n);
    } else {
        /* 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));