#include <bits/stdc++.h>

using namespace std;

int main() {
    int a, b;
    cin >> a >> b;
    printf("%.9f", 1.0 * a / b);
    return 0;
}