#include<stdio.h>
int main(){
	int a,b;
	scanf("%d%d",&a,&b);
	scanf("%.9f",(double)a/(double)b);
	return 0;
}