// editor3
#include<iostream>
using namespace std;
int main(){
    string type;
    double distance, speed;
    cin<<type;
    cin<<distance;
    cin<<speed;
    cout<<distance/speed;
    return 0;
}