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