#include <iostream>
using namespace std;

int main() {
	double S,K;
	cin >> S >> K;
	printf("%lf",S/1000);
	// your code goes here
	return 0;
}