#include "bits/stdc++.h"
#define fastcin {\
    cin.tie(0);\
    ios::sync_with_stdio(false);\
}
using namespace std;

int main() {
    fastcin;
    string n;
    cin >> n;
    if(n[2] > '4') n[1]++;
    if(n[1]==':') {
        n[1] = '0';
        n[0]++;
    }
    if(n[0]==':') {
        cout << "1.0*10^" << n.length() << '\n';
    } else cout << n[0] << "." << n[1] << "*10^" << n.length()-1 << '\n';

    return 0;
}