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