#include <stdio.h>
#include <stdint.h>

int32_t main() {
  uint32_t n;
  scanf("%d", &n);
  printf("%f\n", n / 2.0);
}