for(;[a,v,b]=readline().split(o=' ');print(/.*[^0 ]/(o)))for(n=50;u=n+a.indexOf(d='.'),w=n+b.indexOf(d),u<0&&w<0?v>9:1;)o=n--?(v=(v>9)-~a[u<0?-2:u]+~-b[w<0?-2:w])%10+o:d+o
Note that non-ascii characters in the above source code will be escaped (such as \x9f).