#include <bits/stdc++.h>
using namespace std;
using LL = long long;
using db = long double;

struct node{
    LL l, r;
    db x, k;
};

bool operator<(const node &a, const node &b){
    return a.l < b.l;
}

const int N = 2e5 + 5;
LL n, m, l1[N], r1[N], l2[N], r2[N];
db s[N << 1], ks[N << 1]; // s: sigma(k2 * x2), ks: sigma(k2)

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0), cout.tie(0);

    cin >> n >> m;
    vector<LL> used;
    db len1 = 0, len2 = 0;
    bool flag1 = true, flag2 = true;
    for (int i = 1; i <= n; i++){
        cin >> l1[i] >> r1[i];
        used.push_back(l1[i]);
        used.push_back(r1[i]);
        len1 += r1[i] - l1[i];
        if (l1[i] != r1[i]){
            flag1 = false;
        }
    }
    for (int i = 1; i <= m; i++){
        cin >> l2[i] >> r2[i];
        used.push_back(l2[i]);
        used.push_back(r2[i]);
        len2 += r2[i] - l2[i];
        if (l2[i] != r2[i]){
            flag2 = false;
        }
    }
    sort(used.begin(), used.end());
    used.erase(unique(used.begin(), used.end()), used.end());

    vector<node> vec1, vec2;
    int p = 0;
    if (flag1){
        for (int i = 1; i <= n; i++){
            assert(l1[i] == r1[i]);
            vec1.emplace_back(l1[i], r1[i], l1[i], db(1.0) / n);
        }
    }else{
        for (int i = 1; i <= n; i++){
            if (l1[i] == r1[i]){
                continue;
            }
            while (p < used.size() && used[p] < l1[i]){
                p++;
            }
            p++;
            while (p < used.size() && used[p] <= r1[i]){
                db gg = db(used[p - 1] + used[p]) / 2;
                db jj = (used[p] - used[p - 1]) / len1;
                vec1.emplace_back(used[p - 1], used[p], gg, jj);
                p++;
            }
        }
    }
    if (flag2){
        for (int i = 1; i <= m; i++){
            assert(l2[i] == r2[i]);
            vec2.emplace_back(l2[i], r2[i], l2[i], db(1.0) / m);
        }
    }else{
        p = 0;
        for (int i = 1; i <= m; i++){
            if (l2[i] == r2[i]){
                continue;
            }
            while (p < used.size() && used[p] < l2[i]){
                p++;
            }
            p++;
            while (p < used.size() && used[p] <= r2[i]){
                db gg = db(used[p - 1] + used[p]) / 2;
                db jj = (used[p] - used[p - 1]) / len2;
                vec2.emplace_back(used[p - 1], used[p], gg, jj);
                p++;
            }
        }
    }
    sort(vec1.begin(), vec1.end());
    sort(vec2.begin(), vec2.end());

    // for (auto [l, r, x, k] : vec1){
    //     cout << l << ' ' << r << ' ' << x << ' ' << k << endl;
    // }
    // cout << endl;
    // for (auto [l, r, x, k] : vec2){
    //     cout << l << ' ' << r << ' ' << x << ' ' << k << endl;
    // }

    s[0] = vec2[0].x * vec2[0].k;
    ks[0] = vec2[0].k;
    for (int i = 1; i < vec2.size(); i++){
        s[i] = s[i - 1] + vec2[i].x * vec2[i].k;
        ks[i] = ks[i - 1] + vec2[i].k;
    }
    db sum = s[vec2.size()] = s[vec2.size() - 1];
    db ksum = ks[vec2.size()] = ks[vec2.size() - 1];

    p = 0;
    db ans = 0;
    for (auto [l, r, x, k] : vec1){
        while (p < vec2.size() && vec2[p].r <= l){
            p++;
        }
        // cout << p << ' ';
        if (!flag1 && !flag2 && p < vec2.size() && vec2[p].l == l){
            db res = (p ? ks[p - 1] * x - s[p - 1] : 0);
            res += (sum - s[p]) - (ksum - ks[p]) * x;
            res = res * k + k * vec2[p].k / 3 * (r - l);
            ans += res;
        }else{
            db res = 0;
            if (p){
                res += ks[p - 1] * x - s[p - 1];
                res += (sum - s[p - 1]) - (ksum - ks[p - 1]) * x;
                // cout << x << ' ' << ks[p - 1] << ' ' << s[p - 1] << ' ';
                //cout << sum - s[p - 1] << ' ' << ksum - ks[p - 1] << ' ';
            }else{
                res = sum - ksum * x;
            }
            ans += res * k;
            // cout << res * k << endl;
        }
    }

    cout << fixed << setprecision(20) << ans << endl;

    return 0;
}