#include<stdio.h>
int main()
{
	int a, b;
	scanf("%d/%d", &a, &b);
	printf("%.20lf\n", a / (double)b);
	return 0;
}