#include <stdio.h>

int main(){
	double t;
	int n;
	scanf("%lf %d",&t,&n);
	t/=n;
	n*=2;
	printf("%.3f\n%d",t,n);
	return 0;
}