#include <iostream>

int main()
{
	char in;
	int a, b0, b1, c;

	c = 2;

	in = std::cin.get();
	a = atoi(&in);

	in = std::cin.get();
	b0 = atoi(&in);

	in = std::cin.get();
	b1 = atoi(&in);

	if (b1 >= 5)
		b0++;

	if (b0 >= 10)
	{
		b0 = 0;
		a++;
	}

	if (a >= 10)
	{
		a = 1;
		c++;
	}

	

	std::cout << a << "." << b0 << "*10^";

	while ((in = std::cin.get()) != '\n')
	{
		c++;
	}

	std::cout << c;

	return 0;
}