#include <iostream>
using namespace std;

int main(){
    double s,k;
    cin >> s >> k;
    cout << s / k << endl;
}