v,t = raw_input().split()
v = int(v[0:v.index('.')]+v[v.index('.')+1:])
print v*int(t) / 10000