#include <bits/stdc++.h>

using namespace std;

typedef unsigned int uint;
typedef long long int llint;
typedef unsigned long long int ullint;

//#define DEBUG

#ifdef DEBUG
#define dump(i) cout << "[*] " #i " : " << i << endl;
#define debug(i) i
#else
#define dump(i)
#define debug(i)
#endif
#define rep(i, max) for (int i = 0; i < (max); ++i)

inline void solve() {
  string s;
  cin >> s;
  stringstream ss(s.substr(0, 3));
  int n;
  ss >> n;
  if (n >= 995) {
    cout << "1.0*10^" << s.size() << endl;
  } else {
    n += 5;
    cout << n / 100 << "." << (n / 10) % 10 << "*10^" << s.size() - 1 << endl;
  }
}

int main() {
        /*
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
        cout.tie(nullptr);
        //*/
#ifdef DEBUG
        clock_t _begin = clock();
#endif

        solve();

#ifdef DEBUG
        cerr << "[*] time : " << (double)(clock() - _begin) * 1000 / CLOCKS_PER_SEC << " [ms]" << endl;
#endif
        return 0;
}