#include <stdio.h>

void main(void) {
	double n,k;
	scanf("%le %le",&n,&k);
	printf("%0.1f",n/2);
}