#include <iostream>
using namespace std;
int main() {
	int n;
	cin >> n;
	cout << "decimal\n" << n << ".000001\n";
}