#include <cstdio>

int main (void)
{
 volatile float a, b;
 a = 1073741824;
 b = 1024 + 64 + 1;
 a += b;
 printf ("%f\n", a);
 return 0;
}