#include <bits/stdc++.h>
using namespace std;
int n, p, i, l, r;
double a[100010], t[100010], num[100010], ans;
int main() {
  scanf("%d%d", &n, &p);
  for (i = 1; i <= n; i++) {
    scanf("%d%d", &l, &r);
    t[i] = r / p - (l - 1) / p;
    num[i] = r - l + 1;
    a[i] = 1.0 - t[i] / num[i];
  }
  t[n + 1] = t[1];
  num[n + 1] = num[1];
  a[n + 1] = a[1];
  for (i = 1; i <= n; i++) {
    ans += 2000.0;
    ans -= 2000.0 * a[i] * a[i + 1];
  }
  printf("%.12lf\n", ans);
  return 0;
}
