#include <bits/stdc++.h> using namespace std; int main() { double number1,number2,result1; cin>>number1>>number2; result1=number1/number2; printf("%.9f",result1); return 0; }