#include<iostream>
using namespace std;
int main(){
    int a,b;
    cin>>a>>b;
    double p=a,pp=b;
    printf("%.9lf",p/pp);
}