#include<bits/stdc++.h>
using namespace std;
int a,b;
int main(){
scanf("%d%d",&a,&b);
printf("%.9f",(double)a/(double)b);
//(double)a代表将这个数转化为double格式。
//这只是临时转换，不会改变它本来的格式
return 0;
}