#include <iostream>
#include <bits/stdc++.h>
using namespace std;
double GetDoubleFromString(char * str){
static char * start;
//starting point of the search
if(str)
start=str;
//check if str is empty
for (;*start&&!strchr("0123456789.",*start);++start);
//jump thru chars that are not num related
if (*start=='\0'){
return -1;
// check if at the end of the string
}
char *q=start;
//mark the position of the start of a number
for (;*start&&strchr("0123456789.",*start);++start);
//jump thru chars that are num related
if (*start){
*start='\0';
++start;
//as *start rest at a non num related char, mutate it to \0 and push forward
}
return *q;
//I tried return (double) *q; but that does not work either and in the same way
}
int main(){
char line[300];
while(cin.getline(line,280)) {
double n;
n = GetDoubleFromString(line);
while( n > 0) {
cout << fixed << setprecision(6) << n << endl;
n = GetDoubleFromString(NULL);
}
}
return 0;
}