#include<stdio.h>
int main (void)
{
	double n;
	scanf("%lf",&n);
	if (n>1){
		printf("decimal\n%f",n+n/10000);
	}
	else{
		printf("decimal\n%f",(n+0.0001));
	}
	return 0;
}