#include <stdio.h>

#define EPS (0.0001)

int main(void){
	int N;
	double D = 0.0;
	scanf("%d", &N);
	D = EPS + N;
	printf("decimal\n");
	printf("%f\n", D);
	return 0;
}