#include <stdio.h>

int main(void) {

	int n, k;
	scanf("%d%d", &n, &k);
	printf("%f\n", n / 2.0);

	return 0;
}