#include <bits/stdc++.h>
using namespace std;
long long ans[100010];
long long ans2[100010];
int main() {
  int n, p;
  int l, r;
  while (cin >> n >> p) {
    for (int i = 0; i < n; i++) {
      scanf("%d%d", &l, &r);
      ans[i] = r / p - l / p;
      ans2[i] = r - l + 1;
      if (l % p == 0) ans[i]++;
    }
    ans[n] = ans[0];
    ans2[n] = ans2[0];
    double anss = 0;
    for (int i = 0; i < n; i++)
      anss += ((ans[i] * (ans2[i + 1] - ans[i + 1]) +
                (ans2[i] - ans[i]) * ans[i + 1] + ans[i] * ans[i + 1]) *
               1.0) /
              (ans2[i] * ans2[i + 1] * 1.0) * 2000;
    printf("%.10llf", anss);
  }
  return 0;
}
