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