#include<bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
typedef long long ll;
typedef pair<int,int> P;
int main()
{
  double N = pow(10, 3);
  double a, b;
  cin >> a >> b;
  double S = 0;
  double div = (b - a) / N;
  for (double i = a; i < b;i+=1/N)
  {
    double tmp = abs((i - a) * (i - b)) / N;
    S += tmp;
  }
  cout << fixed <<S << endl;
}