#include <stdio.h>

int main(){
	long double n, m;
	scanf("%lld%lld",&n,&m);
	
	printf("%.50f",n / m);
}