#include<bits/stdc++.h>
using namespace std;
double a,b;
int main(){
	cin>>a>>b;
	printf("%0.9f",a/b);
	return 0;
}