#include <iostream>
#include <stdio.h>
#include <memory>
#include <string.h>
using namespace std;
const int maxn=2000;
double oct[8]={0,125,250,375,500,625,750,875};
int main ()
{
char str[maxn];
int oc[maxn],dec[3*maxn];
while (memset(str,'/0',sizeof(str)),cin>>str)
{
int i,len=strlen(str),j;
for( i=0 ,j=len-1;str[j]!='.' ; i++,j--)
oc[i]=str[j]-48;
cout<<str<<" [8] = 0.";
for( i=0 ;i<len-2 ; i++)
for( j=0 ; j<len-2-i ; j++)
{
oc[j]=oc[j]*125;
if( oc[j]>999)
{
oc[j+1]+=oc[j]/1000;
oc[j]=oc[j]%1000;
}
}
for(i=len-3 ; i>0 ;i--)
{
if(oc[i]>99)
cout<<oc[i];
else if(oc[i]<100 && oc[i]>9)
cout<<"0"<<oc[i];
else if(oc[i]<10)
cout<<"00"<<oc[i];
}
if (oc[0]%10)cout<<oc[0];
else if(oc[0]%100)cout<<oc[0]/10;
else if(!(oc[0]%100))cout<<oc[0]/100;
cout<<" [10]\n" ;
}
return 0;
}