#include <stdio.h>

void main()

{

    int a,b;

    scanf("%d %d",&a,&b);

    double c;

    c = (double)(a + b)/2.0;

    printf("%g",c); /*%g格式会自动省略小数点后多余的零*/

    return 0;

}