#include <iostream>
#include <algorithm>
#include <vector>
#include <stack>
#include <string>
#include <cstdio>

using namespace std;

int main(){

	string str;
	while(getline(cin,str)){
		stack<double> s;
		int prvIdx=-1;
		for(int i = 0; i < str.size(); i++){
			if(str[i]=='*'){
				double n1=s.top();s.pop();
				double n2=s.top();s.pop();
				s.push(n1*n2);
			}
			else if(str[i]=='+'){
				double n1=s.top();s.pop();
				double n2=s.top();s.pop();
				s.push(n1+n2);
			}
			else if(str[i]=='/'){
				double n1=s.top();s.pop();
				double n2=s.top();s.pop();
				s.push(n2/n1);
			}
			else if(str[i]=='-'){
				double n1=s.top();s.pop();
				double n2=s.top();s.pop();
				s.push(-n1+n2);
			}
			else if(str[i]>='0'&&str[i]<='9'){
				if(prvIdx==-1)
					prvIdx=i;
			}
			else if(str[i]==' '){
				if(prvIdx!=-1){
					double num=atoi(str.substr(prvIdx,i).c_str());
					s.push(num);
					prvIdx=-1;
				}
			}
		}
		double d = s.top();
		printf("%.7f\n",d);
	}

	return 0;
}