#include<stdio.h>

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

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

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

	return 0;

}