#include<iostream> using namespace std; int main(){ double c; int a,b; cin>>a>>b; c=a/b; printf("%.51f",c); return 0; }