while 1:a,e=map(int,raw_input().split());m=10**e;print str(a/m)+('.%0*d'%(e,a%m)).rstrip('0.')
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page