from decimal import Decimal

v, t = map(Decimal, input().split())
ans = str(v*t)
print(ans.split(".")[0])