import sys
readline=sys.stdin.readline

v,t=readline().split()
ans=int(v[:-5]+v[-4:])*int(t)//10000
print(ans)