#include<stdio.h>
int main(){
int a;scanf("%d",&a);printf("decimal\n%.12f\n",(double)a);
}