#include<stdio.h>

int main(void){
	int a,b,c=2;

	a=getchar()-'0';
	b=((getchar()-'0')*10+getchar()-'0'+5)/10;
	a+=b/10;
	if(a>=10){
		b=0;
		a/=10;
		c++;
	}
	while(getchar()!='\n') c++;

	printf("%d.%d*10^%d\n",a,b,c);

}