#include <iostream>
using namespace std;
int main(){
	float n,m;
	scanf("%f",&n);
	scanf("%f",&m);
	cout << n / m /1000;
}