#include <stdio.h>

char S[100100];

int main()
{
	scanf ("%s",S);
	int L = 0; while (S[L]) L++; L--;

	if (S[2] >= '5'){
		S[1]++;
		if (S[1] > '9'){
			S[1] = '0';
			S[0]++;
			if (S[0] > '9'){
				S[0] = '1';
				L++;
			}
		}
	}

	printf ("%c.%c*10^%d\n",S[0],S[1],L);
	return 0;
}