#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main() {
  char N[1000000]="";
  scanf("%s",N);
  int N10 = strlen(N)-1;
  char head[4];
  strncpy(head,N,3);
  float Nhead = atoi(head)/100.;
  if( Nhead>9.95 ) {
    Nhead /= 10;
    N10++;
  }
  printf("%.1f*10^%d\n",Nhead,N10);
  return 0;
}