#include int main(){ int a; scanf("%d",&a); puts("decimal"); printf("%f",a+0.000001); return 0; }