#include <iostream>
 #include<cstdio>
using namespace std;

int main()
{

    double a=5.0, b=7.0;
    cin >>a>>b;
    printf("%.9f",a/b);
    return 0;
}