#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
 
int main(){
  int a,b;
  cin >> a >> b;
  printf("%.50f",1.0*a/b);
}