// editor2
#include <iostream>
using namespace std;
class Journey{
public:
    double calculateTime(double d,double s){
        return d/s;
    }
};
class CarJourney:public Journey{};
class BikeJourney:public Journey{};
class TrainJourney:public Journey{};
int main(){
    string type;
    double d,s;
    cin>>type>>d>>s;
    Journey *j;
    if(type=="Car") j=new bikeJourney();
    else j=new TrainJourney();
    cout<<j->calculateTime(d,s);
}