#include <iostream>
using namespace std;

int main() 
{
    double n,m;
    cin>>n>>m;
    printf("%.10f",n/m);
return 0;
}
// 64 位输出请用 printf("%lld")