v, t = input().split()
v = v.replace(".", "")
s = int(v) * int(t)
print(s // 10000)