#include <iostream>
using namespace std;
int main(int argc, char **argv)
{
double x = 2.5; x = x + 0.5; cout << x << endl;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oaW50IGFyZ2MsIGNoYXIgKiphcmd2KQp7CiAgICBkb3VibGUgeCA9IDIuNTsgeCA9IHggKyAwLjU7IGNvdXQgPDwgeCA8PCBlbmRsOwogICAgcmV0dXJuIDA7Cn0=