#include <iostream>
// #define fastcin {\
//     cin.tie(0);\
//     ios::sync_with_stdio(false);\
// }
using namespace std;

int main() {
    // fastcin;
    string n;
    cin >> n;
    cout << n.length() << endl;
    for(int i = n.length()-1; i > 1; i--) {
        if(n[i] > '4') {
            n[i-1]++;
        }
        n[i] = '0';
    }
    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;
}