
#include <iostream>
#include <stdio.h>
#include <cstring>
#include <math.h>
#define MAX 100010
using namespace std;
int n,k;
long double fac[MAX];
void GetFacs()
{
for(int i=1;i<MAX;i++)
{
fac[i] = fac[i-1] + log((long double)i);
}
}
double ExpectedValue()
{
int x;
double p,e = n;
if(n==1) return 0;
for(int i=1; i<=n; i++)
{
x = max(i-k-1,0) + max(n-i-k,0);
if(x-2*k>=0)
{
p = fac[x]+fac[n-2*k-1]-fac[n-1]-fac[x-2*k];
e -= exp(p);
}
}
return e;
}
int main()
{
int t=0;
GetFacs();
while(scanf("%d%d",&n,&k)!=EOF && !(n==0 && k==0))
{
printf("Case %d: %.4lf\n", ++t, ExpectedValue());
}
return 0;
}