#include "bits/stdc++.h"
#define in std::cin
#define out std::cout
#define rep(i,N) for(int i=0;i<N;++i)
typedef long long int LL;

std::string N;
int powcou;

int main()
{
	in >> N;
	powcou = N.length() - 1;
	auto tmp2 = N.substr(0, 3);
	long double head = std::stoi(tmp2);
	head /= 100;
	head += 0.05;
	if (head > 10)
	{
		++powcou;
		head /= 10;
	}
	auto tmp3 = std::to_string(head);
	out << tmp3[0] << "." << tmp3[2] << "*10^" << powcou << std::endl;
	return 0;
}