#include <stdio.h>
#include <string.h>

int main(void)
{
	char N[100002];
	int length;
	scanf("%s", N);
	length = strlen(N);
	if (N[2] >= '5') {
		if (N[1] == '9') {
			N[1] = '0';
			if (N[0] == '9') {
				N[0] = '1';
				++length;
			}
			else ++N[0];
		}
		else ++N[1];
	}
	printf("%c.%c*10^%d", N[0], N[1], length - 1);
	return 0;
}