#include<bits/stdc++.h>
using namespace std;
int main(){
    long double N,K;
    cin>>N>>K;
    cout<<N/2.0<<endl;
}