#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) {
double v,r;
while(cin>>v>>r){
cout<<fixed<<setprecision(4)<<v/r*1000<<endl;
}
return 0;