#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
  string s;
  while(getline(cin,s)){
    int n=s.size();
    
    stack<double> sd;
    for(int i=0;i<n;i++){
      if(s[i]==' ') continue;
      if(isdigit(s[i])){
	double res=0;
	while(isdigit(s[i])) res=res*10+s[i]-'0',i++;
	sd.push(res);
      }else{
	
	double a,b;
	b=sd.top();//sd.pop();
	a=sd.top();//sd.pop();
	
	if(s[i]=='+') sd.push(a+b);
	if(s[i]=='-') sd.push(a-b);
	if(s[i]=='*') sd.push(a*b);
	if(s[i]=='/') sd.push(a/b);
	
      }
    }
    
    double ans=sd.top();
    printf("%.12lf\n",ans);
     
  }
  return 0;
}