#include<stdio.h>

int main(void) {
	char N[100010];
	long long i;

	scanf("%s", &N);
	
	for (i = 0; N[i] != '\0'; i++);

	if ((N[2] >= '5')&&(N[1] == '9')){
			if (N[0] == '9') {
				printf("1.0*10^%lld\n", i);
				return 1;
			}
			N[0] = N[0] - '0' + '1';
			N[1] = '0';
	}

	else if ((N[2] >= '5') && (N[1] != '9')) {
		N[1] = N[1] - '0' + '1';
	}
		
	printf("%c.%c*10^%lld\n", N[0], N[1], i - 1);

	return 0;

}