#include<iostream>using namespace std;inline int read() { int x=0,f=1;char c=getchar(); while(c<'0' || c>'9') {if(c=='-') f=-1;c=getchar();} while(c>='0' && c<='9') {x=x*10+c-'0';c=getchar();} return x*f;}int main(){ printf("double: %.*fn",100,(double) 100005/7); ios::sync_with_stdio(false); int a,b,c,abt; int count_ = 0; while(true){ a = read();b = read();c = read(); if(a==0&&b==0&&c==0) break; printf("Case %d: ",++count_); if((a%1)*b<0){ printf("-"); } printf("%d.",a/b); a = a%b; while(c--){ a = a*10; abt = abs(a/b); if(c==0&&abt>=5){ printf("%d",abt+1);break; } printf("%d",abt); a = a%b; } printf("n"); } return 0;}