#include <bits/stdc++.h>
using namespace std;

int main() {
    int n, k;
    cin >> n >> k;
    
    cout << double(n) / 2.0 << '\n';

    return 0;
}