#include<stdio.h>

int main(void) {
	char N[100001];
	int i = 0;
	do {
		scanf("%c", &N[i]);
		i++;
	} while (N[i - 1] != '\n');
	
	if ((N[2] >= '5')&&(N[1] == '9')){
			if (N[0] == '9') {
				printf("1.0*10^%d\n", i - 1);
				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^%d\n", N[0], N[1], i - 2);

	return 0;

}